Logics of Time and Computation

Description

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. Cover......Page 1 Preface to the First Edition......Page 9 Preface to the Second Edition......Page 10 Contents......Page 11 Part One: Propositional Modal Logic......Page 13 1. Syntax and Semantics......Page 15 2. Proof Theory......Page 28 3. Canonical Models and Completeness......Page 36 4. Filtrations and Decidability......Page 43 5. Multimodal Languages......Page 49 6. Temporal Logic......Page 52 7. Some Topics in Metatheory......Page 60 Part Two: Some Temporal and Computational Logics......Page 75 8. Logics with Linear Frames......Page 77 9. Temporal Logic of Concurrency......Page 96 10. Propositional Dynamic Logic......Page 121 Part Three: First-Order Dynamic Logic......Page 153 11. Assignments, Substitutions, and Quantifiers......Page 155 12. Syntax and Semantics......Page 158 13. Proof Theory......Page 166 14. Canonical Model and Completeness......Page 174 Bibliography......Page 181 Index......Page 187