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):

Displayed 5 items.

• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) ‎ (← links)
• The dark side of interval temporal logic: marking the undecidability border (Q2251125) ‎ (← links)
• Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) ‎ (← links)
• On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) ‎ (← links)
• Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) ‎ (← links)