Angelo Montanari, Gabriele Puppis, Pietro Sala. Maximal Decidable Fragments of Halpern and Shoham s Modal Logic of Intervals. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Volume 6199 of Lecture Notes in Computer Science, pages 345-356, Springer, 2010. [doi]
Abstract is missing.