The following pages link to Strategy logic (Q979080):
Displaying 17 items.
- (Q5111630) (← links)
- Infinite-Duration Bidding Games (Q5111634) (← links)
- (Q5140263) (← links)
- (Q5144683) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Logics for Dynamic Epistemic Behavioral Strategies (Q5213672) (← links)
- Differential Game Logic (Q5277902) (← links)
- (Q5856414) (← links)
- The complexity of subgame perfect equilibria in quantitative reachability games (Q5875374) (← links)
- (Q5875381) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- Reasoning about causality in games (Q6103660) (← links)
- Subgame-perfect Equilibria in Mean-payoff Games (journal version) (Q6178672) (← links)
- Robust alternating-time temporal logic (Q6545584) (← links)
- A logical description of priority separable games (Q6562527) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)