Roelofsen, Floris, Institute for Logic, Language, and Computation, University of Amsterdam