Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Johan van Benthem


Johan van Benthem (University of Amsterdam, Stanford University)

Home pagehttps://staff.fnwi.uva.nl/j.vanbenthem/

Project involved: Logic and Agency, History of Logic in China.

– Interests:
modal logic, mathematics and computation; space and time;
logic and natural language; logic and cognition;
logical dynamics of information and agency; logic and games;
logic and philosophy; history of logic and related fields.

– Most relevant publications:

  1. Johan van Benthem: Logical Dynamics of Information and Interaction. Cambridge University Press (2011)
  2. Johan van Benthem: Logic in Games. The MIT Press (2014)
  3. Horacio Arlo-Costa, Vincent Hendricks, and Johan van Benthem, eds.: Readings in Formal Epistemology. Springer Science Publishers (2016)