Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
From MaRDI portal
Publication:3185763
DOI10.1016/j.entcs.2010.04.006zbMath1345.03019MaRDI QIDQ3185763
Angelo Montanari, Guido Sciavicco, Dario Della Monica, Davide Bresolin, Valentin F. Goranko
Publication date: 5 August 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2010.04.006
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- A calculus of durations
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- A propositional modal logic of time intervals
- Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification