Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals

15 years 23 days ago

Download www.comlab.ox.ac.uk

In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations "meets", "met by", "begun by", and "begins" of Allen's interval algebra (A

Angelo Montanari, Gabriele Puppis, Pietro Sala

Real-time Traffic

ICALP 2010 | Linear Order | Logic | Programming Languages | Propositional Neighborhood Logic |

claim paper

» Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

» Undecidability of Interval Temporal Logics with the Overlap Modality

» A New Modal Approach to the Logic of Intervals

Post Info
More Details (n/a)

Added	11 Feb 2011
Updated	11 Feb 2011
Type	Journal
Year	2010
Where	ICALP
Authors	Angelo Montanari, Gabriele Puppis, Pietro Sala

Comments (0)

Sciweavers

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals

ICALP 2010 | Linear Order | Logic | Programming Languages | Propositional Neighborhood Logic |

Explore & Download

Productivity Tools

Sciweavers