Tell your friends about this item:
Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes Robert Goldblatt 2 Revised edition
Do you have a profile? Log in
Get notified about new Robert Goldblatt releases
Add to your iMusic wish list
Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes
Robert Goldblatt
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 allMore from the same publisher
See all of Robert Goldblatt ( e.g. Paperback Book and Hardcover Book )