KNAW Master Class

New perspectives on Games and Interaction

Amsterdam, The Netherlands

February 8, 2007

Alexandru Baltag (Oxford) Dynamic Logics for Communication: a study of information-updating and belief-changing actions
Slides. PDF File.
Reading Material. Alexandru Baltag and Lawrence S. Moss, Logics for Epistemic Programs
Alexandru Baltag and Sonja Smets, Dynamic Belief Revision over Multi-Agent Plausibility Models
Alexandru Baltag and Sonja Smets, Conditional Doxastic Models: A qualitative approach to Dynamic Belief Revision, WoLLIC 2006, Electronic Notes in Theoretical Computer Science
Alexandru Baltag and Sonja Smets, The Logic of Conditional Doxastic Actions: A theory of dynamic multi-agent belief revision Sergei Artemov, Rohit Parikh (eds.), Proceedings of the Workshop on Rationality and Knowledge, ESSLLI 2006
Additional Reading.
  • G. Aucher, A Combined System for Update Logic and Belief Revision. Master's thesis, Univ. of Amsterdam. 2003.
  • H. van Ditmarsch. Prolegomena to Dynamic Logic for Belief Revision. Synthese, 147, 229-275. 2005.
  • P. Gardenfors. Belief Revisions and the Ramsey Test for Conditionals. Philosophical Review, 95, 81-93. 1986.
  • J. van Benthem and F. Liu. Dynamic Logic of Preference Upgrade. ILLC Technical Report. 2005.
  • J. van Benthem. Dynamic Logic of Belief Revision. ILLC Technical Report. 2006.
  • P. Gardenfors. Knowledge in Flux: Modelling the Dynamics of Epistemic States. MIT Press, Cambridge MA. 1988.
  • J. Y. Halpern. Reasoning about Uncertainty. MIT Press, 2003.
Homework. PDF File.
Giacomo Bonanno (Davis CA) A brief survey of the literature on the epistemic foundations of game theory
Reading Material. Pierpaolo Battigalli and Giacomo Bonanno, Recent results on belief, knowledge and the epistemic foundations of game theory, Research in Economics 53 (1999), p. 149-225.
Homework. Assignment 1; Assignment 2.
Wolfgang Thomas (Aachen) Automata Theoretic Foundations of Infinite Games
Slides. PDF File.
Reading Material. Wolfgang Thomas, Automata on Infinite Objects, in J. van Leeuwen (Ed.), Handbook of Theoretcial Computer Science, Vol B, Elsevier, 1990, sections 1 - 6, 8, 11 [ca. 30 pages]
Wolfgang Thomas, Languages, Automata, and Logic, in (G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, Springer 1997 sections 5 and 6.1 [ca. 20 pages]
Homework. Select five exercises from the following homework set: PDF File.
Last changed: February 15th, 2007