A new game equivalence, its logic and algebra
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist

Abstract:
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 es- tablish connections with imperfect information games and epistemic logic. We also identify new open problems concerning logic and games.