Undecidability of Interval Temporal Logics with the Overlap Modality

Authors:
Davide Bresolin;Dario Della Monica;Valentin Goranko;Angelo Montanari;Guido Sciavicco
Affiliations:
-;-;-;-;-
Venue:
TIME '09 Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning
Year:
2009

Citing 0
Cited 2

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Electronic Notes in Theoretical Computer Science (ENTCS)
B and D are enough to make the Halpern-Shoham logic undecidable

ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II

Quantified Score

Hi-index	0.00

Visualization

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.