Presents articles containing results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. This book is intended for postgraduate and postdoctoral students, and also research professors in this area.

Computing professionals requiring state-of-the-art knowledge in the area will appreciate the volume for its leading results and its links to other relevant literature.

A Hierarchy of Modal Event Calculi: Expressiveness and
Complexity
I. Cervesato, et al. Release Logics for
Temporalizing Dynamic Logic
J. Krabbendam, J.-J. Meyer.
Compositional Verification of Timed Statecharts
F. Levi.
Temporal Logic for Stabilizing Systems
Y. Lakhnech, M.
Siegel. Decidable Theories of omega-Layered Metric Temporal
Structures
A. Montanari, et al. Synthesis with Incomplete
Information
O. Kupferman, M. Vardi. Deductive Verification of
Parameterized Fault-Tolerant Systems: A Case Study
N.S.
Bjorner, et al. Using Otter for Temporal Resolution

C. Dixon. Guiding Clausal Temporal Resolution
M. Fisher, C.
Dixon. Determinism and the Origins of Temporal Logic
T.
Brauner, et al. Modelling Linguistic Events
M. Leith, J.
Cunningham. A Dynamic Temporal Logic for Aspectual Phenomena in
Natural Language
R. Naumann. A Decidable Temporal Logic for
Temporal Propositions
I. Pratt, N. Francez. Transitions in
Continuous Time, with an Application to Qualitative Changes in Spatial
Relations
A. Galton. A Modal Logic of Durative Actions
I.
Nunes, et al. About Real Time, Calendar Systems and Temporal
Notions
H.J. Ohlbach. A Model Checking Algorithm for
pi-Calculus Agents
S. Gnesi, G. Ristori. Interleaving Model
and Verification of Distributed Probabilistic Real-Time Systems
T.
Luo, et al. Constructive Interval Temporal Logic in Alf

S. Thompson. Two-dimensional Executable Temporal Logic for
Bitemporal Databases
M. Finger, M. Reynolds. Execution
and Proof in a Horn-Clause Temporal Logic
C. Dixon, et al.
Specification and Prototyping of Structures Multimedia Documents using
Interval Temporal Logic
H. Bowman, et al.