Representation Theorems for Actual Powers over Two-Agent General Concurrent Game Frames

Zixuan Chen, Fengkui Ju, Thomas Ågotnes

One of the most well-known connections between logic and games is Pauly's representation theorem: the induced powers of individuals and coalitions in concurrent game frames corresp…