Sciweavers

ICALP
2010
Springer

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

13 years 1 months ago
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals
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
Added 11 Feb 2011
Updated 11 Feb 2011
Type Journal
Year 2010
Where ICALP
Authors Angelo Montanari, Gabriele Puppis, Pietro Sala
Comments (0)