Logics of Time and Computation
2nd Edition
Published on 1. June 1992
Book
Hardback
978-0-937073-93-3 (ISBN)
Unfortunately, price unknown
No shipping information available
More details
Series
Language
English
Place of publication
New York
United States
Publishing group
Cambridge University Press
Target group
Professional and scholarly
Edition type
Revised edition
Dimensions
Height: 237 mm
Width: 156 mm
Thickness: 21 mm
Weight
502 gr
ISBN-13
978-0-937073-93-3 (9780937073933)
Schweitzer Classification
Content
Preface to the first edition; Preface to the second edition; Part I. Propositional Modal Logic: 1. Syntax and semantics; 2. Proof theory; 3. Canonical models and completeness; 4. Filtrations and decidability; 5. Multimodal languages; 6. Temporal logic; 7. Some topics in metatheory; Part II. Some Temporal and Computational Logic: 8. Logics with linear frames; 9. Temporal logic of concurrency; 10. Propositional dynamic logic; Part III. First-Order Dynamic Logic: 11. Assignments, substitutions, and quantifiers; 12. Syntax and semantics; 13. Proof theory; 14. Canonical model and completeness; Bibliography; Index.