A New Game Equivalence, its Logic and Algebra
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist · Journal of Philosophical Logic · 2018
We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we establish connections with imperfect information games and epistemic logic. We also identify some new open problems concerning logic and games.