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.
Buy Logics of Time and Computation book by Robert Goldblatt from Australia's Online Independent Bookstore, Boomerang Books.
(228mm x 152mm x 15mm)
Centre for the Study of Language & Information
Publisher: Centre for the Study of Language & Information
Country of Publication: