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 Changjiang national professor of humanities 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