Projects in Previous Years

1st Semester 2009/10: Dynamic Epistemic Logic

Johan van Benthem, Davide Grossi.
If you are interested in this project, please contact the instructors by e-mail.

The course offers a concise introduction to basic themes and techniques in logical dynamics intended as ``the general theory of agents that produce, transform and convey information". At the end of the course the student will have a comprehensive overview of the main research questions driving the field of dynamic epistemic logic and will be familiar with the main logical tools and notions used in the field. The project will consist of a series of lectures (1 per week) in which themes and techniques are introduced and discussed, and working sessions (1 per week) in which aspects of the lecture material are discussed in some more depth and illustrated by means of some exercises.
Familiarity with modal logic is required.
Students will be evaluated on the base of exercises (to be assigned every week) and a final paper.
  • J. van Benthem, Language in Action: Categories, Lambdas and Dynamic Logic. North-Holland, Amsterdam  (Studies in Logic 130), 1991
  • J. van Benthem, Exploring Logical Dynamics. CSLI Publications & Cambridge University Press, Stanford and Cambridge  (Studies in Logic, Language and Information), 1996
  • J. van Benthem, Logical Dynamics of Information and Interaction, To appear.
  • P. Blackburn, M. de Rijke, Y. Venema, Modal Logic. Cambridge, 2001
  • H. van Ditmarsch, W. van der Hoek, B. Kooi, Dynamic Epistemic Logic, 2008