Epistemic logic is the modal logic of knowledge, and dynamic epistemic logic is the modal logic of change of knowledge. Knowledge is formalized with a modality for every knowing agent, and change of knowledge is formalized with a dynamic modality, for example, for the consequences of a public announcement. Over the past 10 years this two-types-of-modality approach of dynamic epistemic logic has been used in other areas of interest in logic and AI: situation calculus, belief revision, planning, epistemology, theory of mind. More theoretical results, such as on model checking and satisfiability, have also become available. We will give an overview of the area over the past 25 years.
Hans van Ditmarsch is a senior researcher at LORIA (Laboratoire
Lorrain de Recherche en Informatique et ses Applications), Nancy,
where he is heading the section (equipe) called CELLO (for:
Computational Epistemic Logic in LOrraine). He was previously
affiliated with the University of Groningen, the University of Otago,
IRIT (Institut de Recherche en Informatique de Toulouse), and the
University of Sevilla, and he was a Lorentz Fellow at NIAS
(Netherlands Institute for Advanced Study in the Humanities and the
Social Sciences). From 2010 onward he has been an associated
researcher at IMSc (Institute of Mathematical Sciences), Chennai. His
research is on the dynamics of knowledge, information-based security
protocols, modal logics for belief revision, proof tools for epistemic
logics, combinatorics, and computer and information science education.
Since 1996 he has regularly contributed to ESSLLI with graduate
courses and workshops and was a co-chair of ESSLLI Hamburg 2008.
Conferences that he has organized and chaired include 7th M4M Osuna
2011, 3rd Tools for Teaching Logic Salamanca 2011, 3rd LORI Guangzhou
2011, and 11th LOFT Sevilla 2012. He has given keynote presentations
at, among other occasions, 16th EBL Petropolis 2011, 19th WoLLIC
Buenos Aires 2012, SAICSIT 2012 Tschwane, and 29th ICLP Istanbul 2013.