, 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. , 2017a, 'Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief', Synthese 194 (7), 2447-2487.