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 ( logic). properly extends interesting interval temporal logics recently investigated in the literature, such as the logic of Allen's "begun by/begins" relations and propositional neighborhood logic , in its many variants (including metric ones). We prove that the satisfiability problem for , interpreted over finite linear orders, is decidable, but not primitive recursive (as a matter of fact, turns out to be maximal with respect to decidability). Then, we show that it becomes undecidable when is interpreted over classes of linear orders that contains at least one linear order with an infinitely ascending sequence, thus including the natural time flows N, Z, Q, and R. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Montanari, A., Puppis, G., & Sala, P. (2010). Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6199 LNCS, pp. 345–356). https://doi.org/10.1007/978-3-642-14162-1_29
Mendeley helps you to discover research relevant for your work.