Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen. Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Synthese, 194(7):2447-2487, 2017. [doi]

Abstract

Abstract is missing.