Howson and Urbach's formal Bayesian epistemology demonstrates that coherent belief revision is fully...