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

2017

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch

Synthese 194 (7)