Logics of Time and Computation - Rilegato

Goldblatt, Robert

Rilegato

ISBN 10: 0937073938 ISBN 13: 9780937073933

Casa editrice: The Center for the Study of Language and Information Publications, 1992

Riassunto

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.

Su questo libro

Contenuti

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.

Dettagli dell?edizione

• Editore: The Center for the Study of Language and Information Publications
• Data di pubblicazione: 1992
• ISBN 10: 0937073938
• ISBN 13: 9780937073933
• Rilegatura: Copertina rigida
• Lingua: Inglese
• Numero edizione: 2
• Numero di pagine: 180