Logics of Time and Computation
Robert Goldblatt(Author)
The Center for the Study of Language and Information Publications (Publisher)
2nd Edition
Published on 1. June 1992
Book
Paperback/Softback
978-0-937073-94-0 (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
Product notice
Paperback (trade)
Dimensions
Height: 228 mm
Width: 152 mm
Thickness: 15 mm
Weight
339 gr
ISBN-13
978-0-937073-94-0 (9780937073940)
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.