A Road Map of Interval Temporal Logics and Duration Calculi

DOI10.3166/jancl.14.9-54zbMath1180.03019OpenAlexW2017960715MaRDI QIDQ5902189

Angelo Montanari, Valentin F. Goranko

Publication date: 11 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.14.9-54

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Temporal logic (03B44)

Related Items

A separation theorem for discrete-time interval temporal logic, Guest editors' preface to special issue on interval temporal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• A critical examination of Allen's theory of action and time
• Probabilistic duration calculus for continuous time
• Non-elementary lower bound for Propositional Duration Calculus
• Interval logics with applications to study of tense and aspect in English
• Axioms for tense logic. II: Time periods
• A calculus of durations
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Interval semantics for tense logic: Some remarks
• Modal logic with names
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• Model-checking discrete duration calculus
• Duration calculus: Logical foundations
• Checking temporal duration properties of timed automata.
• Temporal representation and reasoning in artificial intelligence: Issues and approaches
• Expressiveness and completeness of an interval tense logic
• Quandaries and the logic of rules
• Logical Interpolation and Projection onto State in the Duration Calculus
• Equations between Regular Terms and an Application to Process Logic
• A Modal Logic for Chopping Intervals
• Relation algebras of every dimension
• A propositional modal logic of time intervals
• Actions and Events in Interval Temporal Logic
• Reasoning about temporal relations
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• Completeness of neighbourhood logic
• A mixed decision method for duration calculus
• A Complete Proof System for First-order Interval Temporal Logic with Projection
• Automated deduction in a graphical temporal logic
• Undecidability of compass logic
• Modal logic as dialogical logic