Johan van BenthemJohan van Benthem is University Professor of Pure and Applied Logic at the University of Amsterdam and Henry Waldgrave Stuart Professor of Philosophy at Stanford University. He is the author of Language in Action: Categories, Lambdas, and Dynamic ogic (MIT Press), Exploring Logical Dynamics, Logical Dynamics of Information and Interaction, and other books. Read More Read Less