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
|