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

• Type: Journal
• Year: 2010
• Where: ICALP
• Authors: Angelo Montanari, Gabriele Puppis, Pietro Sala
• Keywords: ICALP 2010, Linear Order, Logic, Programming Languages, Propositional Neighborhood Logic