Key points are not available for this paper at this time.
We introduce a modal language which involves the concept of dependence. We give two game-theoretic definitions for the semantics of the language, and one inductive, and prove the equivalence of all three.
Jouko Väänánen (Wed,) studied this question.