9780937073933 | 2 sub edition (Stanford Univ Center for the Study, September 1, 1992), cover price $49.95 |
About this edition: 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.
9780226300931 | Univ of Chicago Pr, June 1, 1987, cover price $24.95 | also contains
On My Wedding Day: Revelation 19:7-9 |
About this edition: 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.
9780937073940 | 2 rev exp edition (Stanford Univ Center for the Study, September 1, 1992), cover price $30.00 |
About this edition: 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.