Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
Electr. Notes Theor. Comput. Sci., pp. 65-81, 2010.
satisfiability problemdiscrete linear orderingsinterval temporal logicsoverlap relationlogic oMore(13+)
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 f...More
Full Text (Upload PDF)
PPT (Upload PPT)