Johan van Benthem is professor of logic and its applications at the University of Amsterdam and professor of philosophy at Stanford Universit