A Road Map of Interval Temporal Logics and Duration Calculi
From MaRDI portal
Publication:5902190
DOI10.3166/jancl.14.9-54zbMath1181.03012OpenAlexW2017960715MaRDI QIDQ5902190
Valentin F. Goranko, Guido Sciavicco, Angelo Montanari
Publication date: 11 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11390/857681
Related Items (30)
Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ Checking interval properties of computations ⋮ Logic of simultaneity ⋮ An optimal decision procedure for right propositional neighborhood logic ⋮ Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Algebraic neighbourhood logic ⋮ Interval temporal logics over strongly discrete linear orders: expressiveness and complexity ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Temporal prepositions and their logic ⋮ Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ The dark side of interval temporal logic: marking the undecidability border ⋮ Unnamed Item ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Developing bounded reasoning ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ Why Systems of Temporal Logic Are Sometimes (Un)useful? ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ On a Temporal Logic of Prefixes and Infixes. ⋮ Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic ⋮ Two-sorted Point-Interval Temporal Logics ⋮ Dyck Algebras, Interval Temporal Logic, and Posets of Intervals ⋮ Computational complexity of hybrid interval temporal logics ⋮ Hybrid fragments of Halpern-Shoham logic and their expressive power ⋮ Decidability of a Hybrid Duration Calculus
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
This page was built for publication: A Road Map of Interval Temporal Logics and Duration Calculi
