Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals (2010)

by A Montanari, G Puppis, P Sala
Venue:In Proc. of ICALP’2010, volume 6199 of LNCS