Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes - Robert Goldblatt - Books - Centre for the Study of Language & Infor - 9780937073940 - June 30, 1992
In case cover and title do not match, the title is correct

Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes 2 Revised edition


Get an email once the item is available
Do you have a profile? Log in
Get notified about new Robert Goldblatt releases
Add to your iMusic wish list

Not rated yet

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.


190 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 30, 1992
ISBN13 9780937073940
Publishers Centre for the Study of Language & Infor
Pages 190
Dimensions 152 × 228 × 15 mm   ·   331 g
Language English  

More by Robert Goldblatt

Show all

More from the same publisher