Cover
Preface to the First Edition
Preface to the Second Edition
Contents
Part One: 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 Two: Some Temporal and Computational Logics
8 Logics with Linear Frames
9 Temporal Logic of Concurrency
10 Propositional Dynamic Logic
Part Three: First-Order Dynamic Logic
11 Assignments, Substitutions, and Quantifiers
12 Syntax and Semantics
13 Proof Theory
14 Canonical Model and Completeness
Bibliography
Index
Back Cover