Johan van Benthem is University Professor of pure and
applied logic at the University of Amsterdam, the Henry Waldgrave
Stuart Professor of Philosophy at Stanford University, and the
Weilun Visiting Professor of Humanities at Tsinghua University in
Beijing.