Given that we now support the full mu-calculus, game logic should be encodable into the monotone mu-calculus.