Undecidability of Interval Temporal Logics with the Overlap Modality

    TIME, pp. 88-95, 2009.

    Cited by: 13|Bibtex|Views0|Links
    EI
    Keywords:
    non-trivial reductioninterval temporal logicsoctant tiling problemmodal operatorinterval logic hsMore(15+)

    Abstract:

    We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these fragments are undecidable, by employing a non-trivial reduction from the octant tiling problem.

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments