Logical and Probabilistic Models of Belief Change