Conditional Probability and Update Logic
J.F.A.K. 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.

Keywords: conditional probability, update logic