Temporal Logics in Computer Science: Finite-State Systems

Stéphane Demri, Valentin Goranko, and Martin Lange

Publisher:

Cambridge University Press

Publication Date:

2017

Number of Pages:

744

Format:

Hardcover

Series:

Cambridge Tracts in Theoretical Computer Science

Price:

120.00

ISBN:

9781107028364

Category:

Monograph

MAA Review
Table of Contents

We do not plan to review this book.

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
References
Index.