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]
No reviews for this publication, yet.