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