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

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch

pp. 2447-2487


This document is unfortunately not available for download at the moment.

Not implemented yet !