Johan van Benthem is Professor of Logic at the University of Amsterdam (Department of Mathematics and Computer Science) as well as at Stanford University (Bonsall visiting chair, Department of Philosophy). His research interests include modal and dynamic logic, type-theoretic semantics, and proof-theoretic grammars. Address: Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands. E-mail: [email protected], [email protected]
Alice ter Meulen is Professor of Philosophy and of Linguistics at Indiana University, Bloomington. Her research interest is in the interface of logic, language and metaphysics, and has been concerned with mass and amount terms in Montague grammar, and the semantics of tense and aspect in a dynamic system and its interaction with pronominal reference. Address: Indiana University, Department of Philosophy, Sycamore Hall 026, Bloomington, IN 47405, USA. E-mail: [email protected]