Dynamic Epistemic Logic

Textbooks

Reasoning About Uncertainty (Joseph Y. Halpern). 2nd Edition, The MIT Press, 2017.
Neighborhood Semantics for Modal Logic. (Eric Pacuit). Springer, 2017. Supporting website.
Logical Dynamics of Information and Interaction (Johan van Benthem). Cambridge University Press, 2014. Supporting website.
Modal Logic for Open Minds (Johan van Benthem). CSLI Publications, 2010. Supporting website.
Dynamic Epistemic Logic (Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi). Springer, 2008.
Reasoning About Knowledge (Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi). The MIT Press, 1995.
Epistemic Logic for AI and Computer Science (John-Jules Ch. Meyer, Wiebe van der Hoek,). Cambridge University Press, 1995.

Software tools

Symbolic Model Checking for Dynamic Epistemic Logic (Malvin Gattinger). SMCDEL, a symbolic model checker for Dynamic Epistemic Logic (DEL) implemented in Haskell. At its core is a translation of epistemic and dynamic formulas to boolean formulas which are represented as Binary Decision Diagrams (BDDs). For more details, see the documentation.
Dynamic Epistemic Modelling (Jan van Eijck). DEMO is a Dynamic Epistemic Modelling tool which allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas, and so on. For more details, see the documentation.
Modal Logic Playground (Ross Kirsling). A graphical semantic calculator for modal propositional logic, built using D3, MathJax, and Bootstrap. For more details, see the documentation.

Ongoing

Logic in Action (Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars). An open course in logic, providing a modern introduction to the field of logic with topics reflecting both its mathematical essentials and a broad view of its interdisciplinary role.
Logic in Action: A New Introduction to Logic. Stanford Online High School.
Dynamic Epistemic Logic (Alexandru Baltag). Course at the ILLC, University of Amsterdam, 2017.

Dynamic Epistemic Logic (Alexandru Baltag). Course at the ILLC, University of Amsterdam, 2016.
Dynamic Epistemic Logic and its Applications (Alexandru Baltag, Sonja Smets). The website includes references and links to slides and exercises for the course, which took place at The Department of Philosophy at Hokkaido University, Sapporo, Japan, 2016.
Logic, Agency and Games (Johan van Benthem). Reading material for the course, which took place at NASSLLI 2016 Summer School in Rutgers University, New Jersey, USA, 2016.
Epistemic Dynamics for Non-ideal Agents (Fernando R. Velázquez-Quesada). Lecture notes and slides for the course, which took place at ESSLLI 2015 Summer School in Barcelona, Spain, 2015.
Dynamic Epistemic Model Checking (Jan van Eijck, Malvin Gattinger). The website includes links to slides, exercises, solved exercises and references for the course, which took place at the Logic and Agency tutorial in Tsinghua University, Beijing, China, 2015.
Dynamic Logics for Formal Epistemology (Alexandru Baltag, Sonja Smets). The website includes links to slides for the course, which took place at EASLLC 2014 in Tsinghua University, Beijing, China, 2014.
Dynamic Logics for Formal Epistemology (Alexandru Baltag, Sonja Smets, Bryan Renne). Slides for the course, which took place at NASSLLI 2014 in the University of Maryland, Maryland, USA, 2014.
Logics for Rational Agency (Fenrong Liu). The website includes links to slides and suggested reading for the course, which took place at EASLLC 2012 in Southwest University, Chongqing, China, 2012.
Interactive learning, formal social epistemology and group belief dynamics: logical, probabilistic and game-theoretic models (Alexandru Baltag, Sonja Smets). The website includes links to slides for the course, which took place at ESSLLI 2012 in Opole, Poland, 2012.
Logical Dynamics of Information and Interaction (Alexandru Baltag, Sonja Smets). The website includes links to slides for the course, which took place at NASSLLI 2012 in the University of Texas at Austin, Texas, USA, 2012. The videos of the five lectures can be watched on YouTube (lecture 1, lecture 2, lecture 3, lecture 4, lecture 5).
Multi-Agent Belief Dynamics (Alexandru Baltag, Sonja Smets). The website includes links to slides for the course, which took place at NASSLLI 2010 in Indiana University, Indiana, USA, 2010.
Dynamic Logics for Interactive Belief Revision (Alexandru Baltag, Sonja Smets). The website includes links to slides for the course, which took place at ESSLLI 2009 in Bordeaux, France, 2009.
Logics for Quantum Information Flow (Alexandru Baltag, Sonja Smets). The website includes links to slides for the course, which took place at ESSLLI 2006 in Málaga, Spain, 2006.

2015/08/03: Johan van Benthem's plenary Lecture at the 15th Congress of Logic, Methodology and Philosophy of Science (Helsinki).
2013/08/28: Eric Pacuit provides an Introduction to Modal Logic. (Watch part 1 and part 2 on Youtube.)
2012/12/21: Sonja Smets on Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking at the Munich Center for Mathematical Philosophy Colloquium. (Watch it on YouTube.)

An explanation of the solution to the Cheryl's birthday puzzle using dynamic epistemic logic (by Barteld Kooi). (Watch it on YouTube.)
The famously difficult green-eyed logic puzzle (lesson by Alex Gendler, animation by Artrake Studio), from TED-Ed. (Watch it on YouTube.)
Other puzzles from TED-Ed. (Watch the playlist on YouTube.)