Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders

An interval temporal logic is a propositional, multi-modal logic interpreted over interval structures of partial orders. The semantics of each modal operator are given in the standard way with respect to one of the natural accessibility relations defined on such interval structures. In this paper, we consider the modal operators based on the (reflexive) sub-interval relation and the (reflexive) super-interval relation. We show that the satisfiability problems for the interval temporal logics featuring either or both of these modalities, interpreted over interval structures of finite linear orders, are all PSPACE-complete. These results fill a gap in the known complexity results for interval temporal logics.

[1]  Valentin Goranko,et al.  A Road Map of Interval Temporal Logics and Duration Calculi , 2004, J. Appl. Non Class. Logics.

[2]  Yde Venema,et al.  A Modal Logic for Chopping Intervals , 1991, J. Log. Comput..

[3]  Krister Segerberg,et al.  An essay in classical modal logic , 1971 .

[4]  Gabriele Puppis,et al.  Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals , 2010, ICALP.

[5]  D. Christie,et al.  The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse , 1985 .

[6]  Johan van Benthem,et al.  The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition , 1982, Synthese library.

[7]  Davide Bresolin,et al.  Tableaux for Logics of Subinterval Structures over Dense Orderings , 2010, J. Log. Comput..

[8]  Ilya Shapirovsky.  On PSPACE-decidability in Transitive Modal Logic , 2004, Advances in Modal Logic.

[9]  Davide Bresolin,et al.  Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions , 2009, Ann. Pure Appl. Log..

[10]  Yoav Shoham,et al.  A propositional modal logic of time intervals , 1991, JACM.

[11]  Valentin B. Shehtman,et al.  Chronological Future Modality in Minkowski Spacetime , 2002, Advances in Modal Logic.

[12]  Davide Bresolin,et al.  Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification , 2008, LPAR.

[13]  Jakub Michaliszyn,et al.  B and D Are Enough to Make the Halpern-Shoham Logic Undecidable , 2010, ICALP.

[14]  Martin Otto,et al.  Two variable first-order logic over ordered domains , 2001, Journal of Symbolic Logic.