The following pages link to (Q3007247):
Displayed 5 items.
- Logic and reasoning: do the facts matter? (Q934828) (← links)
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory (Q1959225) (← links)
- Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- Distributed knowledge (Q3647273) (← links)