A Road Map of Interval Temporal Logics and Duration Calculi
- 1 January 2004
- journal article
- Published by Taylor & Francis Ltd in Journal of Applied Non-Classical Logics
- Vol. 14 (1-2)
- https://doi.org/10.3166/jancl.14.9-54
Abstract
We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability resultsKeywords
This publication has 49 references indexed in Scilit:
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with ProjectionJournal of Logic and Computation, 2003
- Completeness of neighbourhood logicJournal of Logic and Computation, 2000
- Specification and Prototyping of Structured Multimedia Documents using Interval Temporal LogicApplied Logic Series, 2000
- Selective quantitative analysis and interval model checking: Verifying different facets of a systemLecture Notes in Computer Science, 1996
- Actions and Events in Interval Temporal LogicJournal of Logic and Computation, 1994
- A calculus of durationsInformation Processing Letters, 1991
- The Logic of TimePublished by Springer Science and Business Media LLC ,1991
- Equations between Regular Terms and an Application to Process LogicSIAM Journal on Computing, 1985
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Axioms for tense logic. II. Time periods.Notre Dame Journal of Formal Logic, 1982