Pages that link to "Item:Q3090849"
From MaRDI portal
The following pages link to A Temporal Logic for the Interaction of Strategies (Q3090849):
Displaying 9 items.
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- A calculus of tactics and its operational semantics (Q2847396) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency (Q3431962) (← links)