Dependence Logic door Jouko Vaananen