with Bolander, T. , van Ditmarsch, H. , 2017, 'Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief', Synthese 194 (7), 2447-2487.