Johan van Benthem

Henry Waldgrave Stuart Professor of Philosophy
Johan van Benthem

Johan van Benthem is a University Professor emeritus of pure and applied logic at the University of Amsterdam, Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and Jin Yuelin Professor of Logic at Tsinghua University Beijing. He has worked in modal logic, temporal logic, logical semantics and syntax of natural language, as well as dynamic logics of information, computation, and agency. He was the founding director of the 'Institute for Logic, Language and Computation' (ILLC) at the University of Amsterdam, and the first Chair and First Honorary Member of the European Association for Language, Logic and Information (FoLLI). His published books include "The Logic of Time" (1983), "Modal Logic and Classical Logic" (1985), "Essays in Logical Semantics" (1986), "Language in Action" (1991), and "Exploring Logical Dynamics" (1996). His current main interest is the theme of intelligent interaction, at the interface of logic, computer science, cognitive science, and game theory, with new books “Modal Logic for Open Minds” (2010), “Logical Dynamics of Information and Interaction” (2011) and “Logic in Games” (2014). Published some 400 papers. Editor of Handbooks of "Logic and Language" (1997), "Modal Logic" (2006), "Spatial Logics" (2007), and "Philosophy of Information" (2008). He is a member of the Academia Europaea (1991), the Royal Dutch Academy of Arts and Sciences (1992), Institut International de Philosophie (2001), and Hollandsche Maatschappij der Wetenschappen (2002). In 1996 he received the Dutch national NWO Spinoza Premium for his total research.

Johan van Benthem University of Amsterdam faculty webpage

Logic at Tsinghua

ILLC and University of Amsterdam honor for Johan van Benthem.

Featured Books

MIT Press 2014
Cambridge University Press 2011
Springer Publishing 1983

Featured Articles

"Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences", Journal of Philosophical Logic 38:1, 2009, 83–125.  [With Patrick Girard and Olivier Roy.] Also in "The Philosopher's Annual".

Rational Dynamics and Epistemic Logic in Games, International Game Theory Review 9:1, 2007, 13–45. 

"Minimal Predicates, Fixed-Points, and Definability", Journal of Symbolic Logic 70:3, 2005, 696–712. 


Building 100, 101B

Research Areas