Pages that link to "Item:Q2921965"
From MaRDI portal
The following pages link to A Behavioral Hierarchy of Strategy Logic (Q2921965):
Displaying 7 items.
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
