Advances in Temporal Logic

by Barringer, Howard; Fisher, Michael; Gabbay, Dov; Gough, Graham

• ISBN13: 9780792361497
• ISBN10: 0792361490
• Format: Hardcover
• Copyright: 2000-03-01
• Publisher: Kluwer Academic Pub

Summary

Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art 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. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor - will find the book most valuable. 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.

Table of Contents

Preface	vii
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity	1	(20)
Iliano Cervesato
Massimo Franceschet
Angelo Montanari
Release Logics for Temporalizing Dynamic Logic	21	(26)
Jeroen Krabbendam
John-Jules Meyer
Compositional Verification of Timed Statecharts	47	(24)
Francesca Levi
Temporal Logic for Stabilizing Systems	71	(20)
Yassine Lakhnech
Michael Siegel
Decidable Theories of &omegal-Layered Metric Temporal Structures	91	(18)
Angelo Montanari
Adriano Peron
Alberto Policriti
Synthesis with Incomplete Informatio	109	(20)
Orna Kupferman
Moshe Vardi
Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study	129	(20)
Nikolaj S. Bjørner
Uri Lerner
Zohar Manna
Using Otter for Temporal Resolution	149	(18)
Clare Dixon
Guiding Clausal Temporal Resolution	167	(18)
Michael Fisher
Clare Dixon
Determinism and the Origins of Temporal Logic	185	(22)
Torben Brauner
Per Hasle
Peter Ohstrom
Modelling Linguistic Events	207	(16)
Miguel Leith
Jim Cunningham
A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language	223	(32)
Ralf Naumann
A Decidable Temporal Logic for Temporal Propositions	255	(24)
Ian Pratt
Nissim Francez
Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations	279	(20)
Antony Galton
A Modal Logic of Durative Actions	299	(20)
Isabel Nunes
Jose Luiz Fiadeiro
Wladyslaw M. Turski
About Real Time Calendar Systems and Temporal Notions	319	(20)
Hans Jurgen Ohlbach
A Model Checking Algorithm for π-Calculus Agents	339	(20)
Stefania Gnesi
Gioia Ristori
Interleaving Model and Verification of Distributed Probabilistic Real-Time Systems	359	(18)
Tiegeng Luo
Huowang Chen
Bingshan Wang
Ji Wang
Zhichang Qi
Zhenghu Gong
Constructive Interval Temporal Logic in Alf	377	(16)
Simon Thompson
Two-dimensional Executable Temporal Logic for Bitemporal Databases	393	(20)
Marcelo Finger
Mark Reynolds
Execution and Proof in a Horn-Clause Temporal Logic	413	(22)
Clare Dixon
Michael Fisher
Mark Reynolds
Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic	435
Howard Bowman
Helen Cameron
Peter King
Simon Thompson