Pages that link to "Item:Q5505583"

The following pages link to Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification (Q5505583):

Displaying 2 items.

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)