A Road Map of Interval Temporal Logics and Duration Calculi
From MaRDI portal
Publication:5902189
DOI10.3166/jancl.14.9-54zbMath1180.03019MaRDI 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
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B44: Temporal logic
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
