Formalising False-Belief Tasks in Dynamic Epistemic Logic

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