Pages that link to "Item:Q3460410"
From MaRDI portal
The following pages link to A decidable weakening of Compass Logic based on cone-shaped cardinal directions (Q3460410):
Displaying 5 items.
- Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q821561) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)