reading group:

epistemic logic

From September 2009 to May 2010 I co-organized a reading group on epistemic logic at the ILLC. The choice of papers was purely determined by the participants' interests, which range from rather technical model-theoretical issues to applications of epistemic logic in cognitive science (surprise) and game theory (backward induction paradox). We met weekly, and in general, our sessions took two to three hours. The core members were Alexandru Marcoci and myself.

We discussed the following papers:

  • Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi and Eric Pacuit, 'Merging frameworks for interaction'. Journal of Philosophical Logic 38 (2009): 491 - 526.
  • Hans van Ditmarsch and Barteld Kooi, 'Semantic results for ontic and epistemic change'. In G. Bonanno, W. van der Hoek and M. Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games 3. Amsterdam University Press, Amsterdam, 2008, 87 - 117.
  • Joseph Halpern, Dov Samet and Ella Segev, 'Defining knowledge in terms of belief: the modal logic perspective'. Review of Symbolic Logic 2 (2009): 469 - 487.
  • Emiliano Lorini and Cristiano Castelfranchi, 'The cognitive structure of surprise: looking for basic principles'. Topoi 26 (2007): 133 - 149.
  • Alexandru Baltag, Sonja Smets and Jonathan A. Zvesper, 'Keep 'hoping' for rationality: a solution to the backward induction paradox'. Synthese 169 (2009): 301 - 333.