J Van BenthemJohan 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 nd 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: johan@fwi.uva.nl, johan@csli.stanford.edu Read More Read Less