Conditional Probability and Update Logic
Johan van Benthem

Abstract:
Dynamic update of information is the dernier cri in logical semantics. 
And it is old hat in Bayesian probabilistic reasoning. This note brings 
the two perspectives together, and proposes a mechanism for updating 
probabilities while changing the informational state spaces.