Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

    Research output: Contribution to journalJournal articleResearchpeer-review

    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 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.
    Original languageEnglish
    JournalElectronic Notes in Theoretical Computer Science
    Volume262
    Pages (from-to)65-81
    ISSN1571-0661
    DOIs
    Publication statusPublished - 2010

    Keywords

    • interval temporal logics, overlap relation, undecidability, octant tiling problem

    Fingerprint Dive into the research topics of 'Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings'. Together they form a unique fingerprint.

    Cite this