On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
From MaRDI portal
Publication:2938500
DOI10.1007/978-3-319-11558-0_19zbMath1432.03027MaRDI 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
03B44: Temporal logic
Related Items
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases, 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, On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
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