References
Thomas Bolander
(2018)., Seeing is believing: formalising false-belief tasks in dynamic epistemic logic, in H. Van Ditmarsch & P. Sandu (eds.), Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer, pp. 207-236.
with Birkegaard Andersen, M. , van Ditmarsch, H. (2017). Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Synthese 194 (7), pp. 2447-2487.