2nd Edition
Paperback (30 Jun 1992)
Save $2.16
Includes delivery to the United States
3 copies available online - Usually dispatched within two working days
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 |
| Publisher: | Center for the Study of Language and Inf |
| Imprint: | CSLI Publications |
| Pub date: | 30 Jun 1992 |
| Edition: | 2nd Edition |
| Language: | English |
| Number of pages: | 180 |
| Weight: | 339g |
| Height: | 228mm |
| Width: | 152mm |
| Spine width: | 15mm |
$5.34off
Hardback
Published 23 Aug 2023
Save $5.34
$11.03off
Hardback
Published 30 Jun 2023
Save $11.03
$3.31off
Paperback
Published 28 Jul 2023
Save $3.31
