2nd Edition
Hardback (30 Jun 1992)
Not available for sale
Includes delivery to the United States
Out of stock
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: | 9780937073933 |
| 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: | 502g |
| Height: | 237mm |
| Width: | 156mm |
| Spine width: | 21mm |
$3.03off
Hardback
Published 23 Aug 2023
Save $3.03
$11.54off
Hardback
Published 30 Jun 2023
Save $11.54
$3.08off
Paperback
Published 28 Jul 2023
Save $3.08
