Jouko Vaananen

• Dependence Logic