J. Va¨a¨na¨nen

• Dependence Logic