Pages that link to "Item:Q4636573"
From MaRDI portal
The following pages link to Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison (Q4636573):
Displaying 4 items.
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives (Q1706170) (← links)
- Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← 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)