 Truth in game-theoretic semantics:  A sentence \(\phi\) is true in a model \(M\) (with respect to game-theoretic semantics) if and only if Player \(0\) has a uniform winning strategy in \(G_M(\phi)\).