A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
From MaRDI portal
Publication:266861
DOI10.1007/s00236-015-0231-4zbMath1339.03018OpenAlexW835068744MaRDI QIDQ266861
Angelo Montanari, Luca Aceto, Guido Sciavicco, Anna Ingólfsdóttir, Dario Della Monica, Valentin F. Goranko
Publication date: 7 April 2016
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11390/1070660
Related Items (9)
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ To drive or not to drive: a logical and computational analysis of European transport regulations ⋮ On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On coarser interval temporal logics ⋮ Computational complexity of hybrid interval temporal logics
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Towards a general theory of action and time
- 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
- Two-sorted Point-Interval Temporal Logics
- 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
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
- 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
- The Undecidability of the Logic of Subintervals
- Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
- Modal and temporal properties of processes
This page was built for publication: A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
