A propositional modal logic of time intervals
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Undecidability of Interval Temporal Logics with the Overlap Modality
TIME '09 Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning
Tableaux for Logics of Subinterval Structures over Dense Orderings
Journal of Logic and Computation
A decidable spatial logic with cone-shaped cardinal directions
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Hi-index | 0.00 |
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in which they are interpreted. That, in particular, holds for most fragments of Halpern and Shoham's interval modal logic HS. Still, decidability is the rule for the fragments of HS with only one modal operator, based on an Allen's relation. In this paper, we show that the logic O of the Overlap relation, when interpreted over discrete linear orderings, is an exception. The proof is based on a reduction from the undecidable octant tiling problem. This is one of the sharpest undecidability result for fragments of HS.