Pages that link to "Item:Q5505583"
From MaRDI portal
The following pages link to Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification (Q5505583):
Displaying 11 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)
- 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)
- On coarser interval temporal logics (Q2321249) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Two-sorted Point-Interval Temporal Logics (Q2825405) (← 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)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
