On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders

DOI10.1007/978-3-319-11558-0_19zbMath1432.03027OpenAlexW2106235758MaRDI QIDQ2938500

Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco, Dario Della Monica, Luca Aceto

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_19

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (max. 100)

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ Hybrid fragments of Halpern-Shoham logic and their expressive power

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• Towards a general theory of action and time
• A calculus of communicating systems
• Duration calculus. A formal approach to real-time systems.
• The dark side of interval temporal logic: marking the undecidability border
• Expressiveness and completeness of an interval tense logic
• Temporal prepositions and their logic
• An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
• ON BEGINS, MEETS AND BEFORE
• On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
• Tableaux for Logics of Subinterval Structures over Dense Orderings
• Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
• Algebraic laws for nondeterminism and concurrency
• A propositional modal logic of time intervals
• Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification

This page was built for publication: On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders