4 papers:
LICS-2011-BresolinMSS #decidability #logic #what- What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL (DB, AM, PS, GS), pp. 387–396.
- LICS-2011-MarcinkowskiM #logic
- The Ultimate Undecidability Result for the Halpern-Shoham Logic (JM, JM), pp. 377–386.
ICALP-v2-2010-MarcinkowskiMK #decidability #logic- B and D Are Enough to Make the Halpern-Shoham Logic Undecidable (JM, JM, EK), pp. 357–368.
- ICALP-v2-2010-MontanariPS #decidability #logic
- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals (AM, GP, PS), pp. 345–356.
