Extensions and applications of dynamic epistemic logic. - Penelope Economou (2009)