Logics of Time and Computation - Brossura

Goldblatt, Robert

Brossura

ISBN 10: 0937073946 ISBN 13: 9780937073940

Casa editrice: Center for the Study of Language and Inf, 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: Center for the Study of Language and Inf
• Data di pubblicazione: 1992
• Lingua: Inglese
• ISBN 10: 0937073946
• ISBN 13: 9780937073940
• Rilegatura: Copertina flessibile
• Numero edizione: 2
• Numero di pagine: 200
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile