 As mentioned, the game-theoretic semantics for dependence logic is a variant of the imperfect-information semantics for independence-friendly logic, which is itself an adaptation of the game-theoretic semantics of first-order logic. We refer the reader to (Väänänen 2007a) for a formal, detailed definition of this semantics.