Johan van Benthem Home / Activities / Publications / Teaching / Research / Talks

Teaching

List of courses taught in logic, and interfaces with  philosophy, mathematics, linguistics, computer science, and economics.

My current teaching is mainly on dynamic logics of information flow and games, and the mathematics of modal logic.

---

Open course project Logic in Action

         

Logic in its modern guise belongs in the curriculum everywhere. One new project is a  Spinoza gateway course Logica in Actie (launched March 2009) of the Dutch Open University, prepared with colleagues in the Logic Education Group.

We are now turning this into an open course project Logic in Action with try-outs in Amsterdam, Beijing, Seville, and Stanford, that will be freely available.

---

Courses in 2011

Spring, Stanford University

• Introduction to Modal Logic
  

• Introduction to Cognitive Science (co-taught with Jay McLelland, TTh 2:15-3:30 PM, 530-127, coordinator: Thomas Icard)
  

• Seminar on Logic and Intelligent Interaction
  

Summer

• Tsinghua University Beijing, Workshop Logic and Natural Language

• ESSLLI Summer School Ljubljana, Logic in Action 

---

Courses in 2010

Winter, ILLC Amsterdam

Dynamic Epistemic Logic, intensive project, Master of Logic curriculum.

Spring, Tsinghua University Beijing

Logics of Time and Space.

Summer, ESSLLI Summer School Copenhagen

Logic, Rationality and Intelligent Interaction.

Autumn, ILLC Amsterdam

Introduction to Modal Logic.

---

Courses in 2009


Spring, Philosophical Institute, Tsinghua University, Beijing

Beijing Seminar on Dynamic Logics of Agency and Interaction

Spring, Philosophy Department, Stanford University

Stanford Workshop on Dynamic Logics of Agency and Interaction (see also this basic course)

Modal Logic, based on new lecture notes Modal Logic for Open Minds, to appear with CSLI Publications, Stanford.

Autumn, ILLC and Amsterdam University College

New Introduction to Logic for liberal arts students, second instalment running in 2010.

---

Courses in 2008

• Logical Dynamics of Information and Interaction, intensive seminar, Tsinghua University Beijing
  

• Dynamics Graduate Seminar, ILLC Amsterdam

• Logic and Intelligent Interaction, ESSLLI Summer School Hamburg

• Advanced Modal Logic, Philosophy 359, Foundations of Intelligent Interaction, Stanford

---

Textbooks

                                   
   

• A Manual of Intensional Logic
  

• Logica voor Informatici (with Hans van Ditmarsch, Jan Ketting, Josje Lodder, and Wilfried Meyer Viol)

• Logic, Language and Meaning (with authors' collective GAMUT)

• Modal Logic for Open Minds

---

Broad Audience 

Here are some pieces on the cultural impact of modern logic in a broader arena, beyond reciting the classics:

• Kid's Lecture on Logic, 2006, NEMO Science Museum, Amsterdam
  

• De Speelse Geest van de Mens, BRES Planete, vol. 232 (2005), 24-29. 

• L'Art et la Logique de la Conversation, Pour La Science, September 2005, 68-73. Also Diligentia Den Haag 2007.

• A Stamp Full of Logic, De Gids Maart 2008, 191 – 205.

• Constants, or Variables, of Logical Thought, ANTW 100:4,  2008, 296 – 304.

Poster for a recent lecture for young children (31 october 2010) at Museum Naturalis Leiden:


           

---

Students

Here is a list of some 70 Ph.D. students.

Some recent dissertations:

• Patrick Girard, Dynamic Order Logic: Modal Logics for Belief and Preference Change


• Olivier Roy, Thinking before Acting: Intentions in Decision and Game Theory

• Fenrong Liu, Changing for the Better: Preference Dynamics and Agent Diversity

• Jakub Szymanik, Quantifiers in TIME and SPACE

• Tomohiro Hoshi, Dynamic Logic and Epistemology
  

• Cédric Dégrémont, The Temporal Mind, Belief Change in Interactive Settings

• Jonathan Zvesper, Playing with Information
  

• Gaelle Fontaine, Modal Fixed-Point Logic, some model-theoretic questions

• Amélie Gheerbrant, Fixed-Point Logics on Trees

•   Nina Gierasimczuk, Knowing One's Limits, logical analysis of inductive inference

• Fernando Velazquez Quesada, Small Steps in the Dynamics of Information

My current graduate student group:

  Lena Kurzen,  Jeremy Meyers, Wes Holliday, Stefan Minica.


Here is a list of some 50 Master students.

---

Back to the top

Back to Home