The following pages link to Dependences in strategy logic (Q1987514):
Displaying 9 items.
- On the semantics of strategy logic (Q894440) (← links)
- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (Q2948549) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- (Q4953987) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5144683) (← links)
- (Q5869544) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)