Temporal Logic Mathematical Foundations and Computational Aspects Volume 2 [Hardcover]

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.

Tentative contents of Volume 3
1. Introduction and overview
2. Temporal Logic and Automata
3. Branching Time
4. Labelled Deduction Presentation of Temporal Logics
5. Temporal Logic Programming
6. Combining Temporal Logic Systems
7. Extensional Semantics
8. Intervals and Planning
9. Many-Dimensional Systems and Generalized Quantifiers
10. The Declarative Past and Imperative Future
11. The METATEM Programming Language
12. METATEM in Intensive Care
13. Non-monotonic Coding of the Declarative Past
14. A Logical View of Temporal Databases
15. A Logical View of Temporal Database Dynamics
16. Temporal Conceptual-Level Databases
17. Temporal Active Databases: A Background for Creating and Detecting Time Paradoxes
18. Calendar Logic
References
Index
List of Symbols

The book is well written and will be of particular interest to researchers and practitioners in computer science. --Mathematical Reviews