Special Issue "Logic and Game Theory"
A special issue of Games (ISSN 2073-4336).
Deadline for manuscript submissions: closed (1 May 2018)
Logicians and game theorists have long found that ideas from each other's fields can usefully inform their own. From the perspective of logic, game theory provides a natural framework with which to capture key logical concepts. From the perspective of game theory, logic provides a natural and powerful tool with which to make explicit the many and subtle assumptions, such as common knowledge of rationality, which underpin game theoretic solution concepts. In computer science, the paradigm of rational verification aims to which properties hold of concurrent systems under the assumption that system components are in game theoretic equilibrium.
This Special Issue will profile the state-of-the-art in logic and game theory, showcasing key problems and directions. Published articles will have both a logic and game theoretic component, and will appeal to a broad audience.
- logic and game theory
- knowledge representation and game theory
- reasoning about equilibria
- rational verification
- rational synthesis
- equilibrium checking
- concurrency and game theory
- concurrent games