Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
Vol. 194/7
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch
Volume
Title
Author