The following pages link to (Q2848071):
Displayed 9 items.
- Strategy logic (Q979080) (← links)
- Knowledge condition games (Q1006447) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Everything else being equal: a modal logic for ceteris paribus preferences (Q1029829) (← links)
- Natural strategic ability (Q2289013) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)