Johan F.A.K. van Benthem, Alice ter Meulen, The Netherlands) van Benthem, Johan F.A.K. (Institute for Logic, Language & Computation, University of Amsterdam, Switzerland) ter Meulen, Alice (University of Geneva, Johan F. a. K. Van Benthem, Alice Ter Meulen, Johan Van Benthem