Pages that link to "Item:Q1421487"
From MaRDI portal
The following pages link to Completeness of temporal logics over infinite intervals. (Q1421487):
Displaying 5 items.
- Algebraic neighbourhood logic (Q929966) (← links)
- A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- Symbolic Model Checking for Alternating Projection Temporal Logic (Q3467865) (← links)
- Complexity of propositional projection temporal logic with star (Q3616217) (← links)
