Description
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.
Book Details
Format
Hardcover
Pages
180 pages
Language
English
Published
Sep 15, 1992
Publisher
Center for the Study of Language and Inf
Editions
2 editions
ISBN-10
0937073938
ISBN-13
9780937073933