The table of contents below contains links to PDFs which list corrections for the printed version of the book, separated by chapters.

To report an error which is not listed in the errata yet, please send an e-mail.

1. Introduction

Part I. Models:

2. Preliminaries and background I
3. Transition Systems

Part II. Logics:

4. Preliminaries and background II
5. Basic modal logics
6. Linear-time temporal logics
7. Branching-time temporal logics
8. The modal mu-calculus
9. Alternating-time temporal logics

Part III. Properties:

10. Expressiveness
11. Computational complexity

Part IV. Methods:

12. Frameworks for decision procedures
13. Tableaux-based decision methods
14. The automata-based approach
15. The game-theoretic framework