An essay in combinatory dynamic logic
Information and Computation
Reasoning about knowledge
Journal of Symbolic Logic
Dynamic Logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Logics of propositional control
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A normal simulation of coalition logic and an epistemic extension
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
On the logic of cooperation and propositional control
Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
Solutions concepts are a fundamental tool for the analysis of game-like systems, and as a consequence, much effort has been devoted to the problem of characterising solution concepts using logic. However, one problem is that, to characterise solution concepts such as Nash equilibrium, it seems necessary to refer to strategies in the object language, which tends to complicate the object language. We propose a logic in which we can formulate important properties of games (and in particular pure-strategy solution concepts) without recourse to naming strategies in the object language. The idea is that instead of using predicates which state that a particular collection of strategies forms a solution, we define formulae of the logic that are true at a state if and only if this state constitutes a particular equilibrium outcome. We demonstrate the logic by model checking equilibria of strategic games.