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