Johan van Benthem
Current activities at interfaces of logic, philosophy, computer science, mathematics, linguistics and cognitive science.
Retirement Ceremony, UvA, 26-27 September 2014, website with video streams, lecture slides, interviews. Valedictory Lecture, ILLC brochure.
European Association for Language, Logic & Information (FoLLI), honorary member. International Federation for Computational Logic (IFCOLOG), oversight board. Reasoning about Knowledge and Rationality (TARK), board of directors. Dutch Association of Logic, honorary member. Indian Association of Logic, council member.
List of editorial activities.
- Handbook of Logic and Language (with Alice ter Meulen), 1997, Elsevier Insights e-version 2010.
- Handbook of Modal Logic (with Patrick Blackburn & Frank Wolter), 2006, Elsevier.
- Handbook of Spatial Logics (with Marco Aiello & Ian Pratt-Hartmann), 2007, Springer.
- Handbook of Philosophy of Information (with Pieter Adriaans), 2008, Elsevier.
Logic and Games. Monograph series Texts in Logic and Games. NIAS--Lorentz project Modeling Strategic Reasoning, book to appear with FoLLI Series (with Sujata Ghosh and Rineke Verbrugge). Monograph Logic in Games, the MIT Press 2014.
Logic in India. Logic at the Crossroads, Mumbai 2005, with Amitabha Gupta and Rohit Parikh, Allied Publishers, Delhi. Subsequent volumes with Springer Publishers. Logic and Philosophy Today, Journal of the Indian Council for Philosophical Research, College Publications, 2010, with co-editor Amitabha Gupta.
Logic in China. Tsinghua Logic activities with 2013 pilot conference Logic Across the University. The UvA Meets China, Opening Academic Year Amsterdam 2013, booklet. Chinese LORI conferences on Logic, Rationality and Interaction. HOLIC Handbook of the History of Logic in China.
Translation project A Door to Logic, four volumes ("Logic, Information, and Interaction", "Logic, Language and Cognition", "Modal Correspondence Theory", and "Logic and Methodology"), Science Press Beijing, coordinated by Fenrong Liu.
Selected events and projects
List of events organized.
Logic at Stanford. CSLI Workshops on Logic, Rationality and Intelligent Agency. CSLI Logical Dynamics Lab.
Logical dynamics worldwide. Amsterdam Dynamics Group (events, yearbook). The website Logic and Rational Interaction posts news and events.
Interdisciplinary projects. Games, Action and Social Software, Netherlands Institute for Advanced Studies. Modeling Intelligent Interaction, European Science Foundation. Language in Interaction.
How young children reason. National program Talentenkracht.
Back to the top
Back to Home