Dependence Logic, Jouko Väänänen