NASSLLI 2012 June 18 - 22

Sign up here for our Mailing List:

Questions? Email us:

Search the site:

  Powered by Google

Logical Dynamics of Information and Interaction

Room: UTC 4.104


We will present some basic dynamic logics that analyze information-driven rational agency. Specific topics will be: information update, belief revision, inference and questions, preference change, temporal logic, and games. The course includes applications in philosophy, computer science, and game theory, and the readings will provide many pointers to current research.

NOTE: Johan van Benthem, who was due to co-teach this class, has unfortunately had to cancel his trip to Austin at the last minute.


basic first-order logic, basic modal logic


The course will use material from J. van Benthem, 2010, "Modal Logic for Open Minds", CSLI Publications, Stanford, 2011, especially the chapters on agency: Chs 12 -- 17. For background, see the introductory chapter to "Logical Dynamics of Information and Interaction", Cambridge University Press, 2011.


  1. epistemic logic and information update
  2. dynamic logics for belief revision
  3. inference, questions, and preference change
  4. temporal logic of long-term action
  5. social interaction and games.


Alexandru Baltag

Email: thealexandrubaltag (AT) gmail (DOT) com


Alexandru Baltag is an Associate Professor at the Institute for Logic, Language and Computation (University of Amsterdam). He is known mostly for his work in logics for multi-agent information flow (-- he was one of the originators of dynamic epistemic logic) and their applications to communication, game theory, quantum computation etc. Between 2001 and 2011 he was a University Lecturer at Oxford University, in the Department of Computer Science. Between 1998 and 2001, he was a post-doctoral researcher at the Dutch Center for Mathematics and Computer Science. He obtained his PhD in Mathematics in 1998 at Indiana University under the supervision of Jon Barwise.

Sonja Smets

Email: sonsmets (AT) gmail (DOT) com


Sonja Smets is an associate professor at the Institute for Logic, Language and Computation at the University of Amsterdam. Between 2009 and 2012 she was as an assistant professor at the University of Groningen where she held a Rosalind Franklin Research Fellowship. Between 2001 and 2009, she was a post-doctoral researcher and lecturer at the Free University of Brussels. She obtained her PhD at the Free University of Brussels in 2001. In 2009, she received a VIDI award and in 2011 she received and ERC starters grant. Her research programme ranges over Logic (in particular non-classical logics, including non-monotonic logics, belief revision, modal and temporal logic, quantum logic); Multi-agent Systems; Formal Epistemology; Philosophy of Science, Philosophy of Quantum Physics, Quantum Information and Computation.