The Last Paper on the Halpern-Shoham Interval Temporal Logic

Details The Last Paper on the Halpern-Shoham Interval Temporal Logic The Last Paper on the Halpern-Shoham Interval Temporal Logic

2010-10-21

arxiv.org/abs/1010.4529v1

Computer Science

Logic in Computer Science

Scientific paper

The Halpern-Shoham logic is a modal logic of time intervals. Some effort has been put in last ten years to classify fragments of this beautiful logic with respect to decidability of its satisfiability problem. We contribute to this effort by showing - what we believe is quite an unexpected result - that the logic of subintervals, the fragment of the Halpern-Shoham where only the operator "during", or D, is allowed, is undecidable over discrete structures. This is surprising as this logic is decidable over dense orders and its reflexive variant is known to be decidable over discrete structures.

Affiliated with

Also associated with

No associations

Rating

The Last Paper on the Halpern-Shoham Interval Temporal Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The Last Paper on the Halpern-Shoham Interval Temporal Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Last Paper on the Halpern-Shoham Interval Temporal Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-424000