Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals (ICALP'10: Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming, 2010)

(untitled) - Montanari, A; Puppis, G; Sala, P