search for books and compare prices
Logics of Time and Computation
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
2 sub edition from Stanford Univ Center for the Study (September 1, 1992)
9780937073933 | details & prices | 6.25 × 9.50 × 0.75 in. | 1.10 lbs | List price $49.95
About: 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.
About: 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.
With Tchinda Fabrice Mbuna |
from Univ of Chicago Pr (June 1, 1987)
9780226300931 | details & prices | List price $24.95
This edition also contains On My Wedding Day: Revelation 19:7-9
About: 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.
This edition also contains On My Wedding Day: Revelation 19:7-9
About: 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.
Paperback
2 rev exp edition from Stanford Univ Center for the Study (September 1, 1992)
9780937073940 | details & prices | 6.50 × 9.50 × 0.75 in. | 0.75 lbs | List price $30.00
About: 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.
About: 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.