Pages that link to "Item:Q4461930"
From MaRDI portal
The following pages link to A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection (Q4461930):
Displaying 5 items.
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- 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)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
