Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

    Electr. Notes Theor. Comput. Sci., pp. 65-81, 2010.

    Cited by: 10|Bibtex|Views4|Links
    EI
    Keywords:
    satisfiability problemdiscrete linear orderingsinterval temporal logicsoverlap relationlogic oMore(13+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments