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.
| ISBN: | 9780937073940 |
| Publication date: | 30th June 1992 |
| Author: | Robert Goldblatt |
| Publisher: | CSLI Publications an imprint of Center for the Study of Language and Inf |
| Format: | Paperback |
| Pagination: | 180 pages |
| Series: | Lecture Notes |
| Genres: |
Mathematical foundations |