Stem shoham$ (all stems)

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.