Descrizione
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
Dettagli del libro
Formato
Copertina rigida
Pagine
180 pagine
Lingua
Inglese
Pubblicato
set 15, 1992
Editore
Center for the Study of Language and Inf
Edizioni
2 edizioni
ISBN-10
0937073938
ISBN-13
9780937073933