Dialogical semantics
During the game each player has a (possibly changing) role, either as the verifier or as the falsifier
If the initial verifier has a winning strategy in G(? ; M), ? is by definition true in M; if the initial falsifier has a winning strategy ? is false in M.