22%OFF
Logics of Time and Computation
Robert Goldblatt
€ 32.99
€ 25.76
FREE Delivery in Ireland
Description for Logics of Time and Computation
Paperback. 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. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339.
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.
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.
Product Details
Format
Paperback
Publication date
1992
Publisher
The Center for the Study of Language and Information Publications
Condition
New
Series
Center for the Study of Language and Information Publication Lecture Notes
Number of Pages
180
Place of Publication
Stanford, United States
ISBN
9780937073940
SKU
V9780937073940
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1
Reviews for Logics of Time and Computation