A Decidable Temporal Logic for Events and States

Authors:
Savas Konur
Affiliations:
University of Manchester, UK
Venue:
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Year:
2006

Citing 0
Cited 1

A survey on temporal logics for specifying and verifying real-time systems

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a new interval temporal logic, TPL. Existing interval temporal logics, we claim, are inadequate to represent the meanings of certain natural language constructions, despite exhibiting high computational complexity. TPL* overcomes these problems, presents the semantics of some natural language constructions, and captures important real-time problems like behaviour of complex systems.