Pages that link to "Item:Q1740653"
From MaRDI portal
The following pages link to Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653):
Displayed 5 items.
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning (Q821556) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- Temporal Logic of Minkowski Spacetime (Q5027245) (← links)
- Interval Temporal Logic for Visibly Pushdown Systems (Q6116361) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)
