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 Phil...lihat lebih banyakJohan 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: johan@fwi.uva.nl, johan@csli.stanford.edulihat lebih sedikit