====== Formalising False-Belief Tasks in Dynamic Epistemic Logic ======

Thomas Bolander. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic