Pages that link to "Item:Q1989330"
From MaRDI portal
The following pages link to Alternating-time temporal logics with linear past (Q1989330):
Displaying 10 items.
- Past is for free: On the complexity of verifying linear temporal properties with past (Q1889855) (← links)
- Alternative semantics for temporal logics (Q2265815) (← links)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
- Relentful strategic reasoning in alternating-time temporal logic (Q2957961) (← links)
- A Paraconsistent Linear-time Temporal Logic (Q3084992) (← links)
- Alternating-time temporal logic (Q3455546) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- Results on alternating-time temporal logics with linear past (Q5079770) (← links)
- An algebraic study of tense logics with linear time (Q5537602) (← links)
- Graded Alternating-Time Temporal Logic (Q5894019) (← links)