The following pages link to An Epistemic Strategy Logic (Q4617971):
Displaying 4 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
