TY  - RPRT
TI  - Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
AU  - Mikkel Birkegaard Andersen
AU  - Thomas Bolander
AU  - Hans van Ditmarsch
AU  - Martin Holm Jensen
PY  - 2016
DO  - 10.1007/s11229-016-1060-x
UR  - https://arxiv.org/abs/1506.07990
ID  - 1506.07990
ER  -