Pages that link to "Item:Q5079770"
From MaRDI portal
The following pages link to Results on alternating-time temporal logics with linear past (Q5079770):
Displaying 5 items.
- Past is for free: On the complexity of verifying linear temporal properties with past (Q1889855) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← 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)
- An algebraic study of tense logics with linear time (Q5537602) (← links)