Johan van Benthem


Home / Activities / Publications / Teaching / Research / Talks


Professional Activities

Current activities at interfaces of logic, philosophy, computer science, mathematics, linguistics and cognitive science.




Highllght


Retirement Ceremony, UvA, 26-27 September 2014, website with video streams, lecture slides, interviews. Valedictory Lecture, ILLC brochure.

                   


 
Organizations
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.

Editorial activities

List of editorial activities.

Handbooks:
                        


Special initiatives

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.



Universiteit van Amsterdam Logic in Action Stanford University ILLC

Back to the top

Back to Home