Belief Change: from Situation Calculus to Modal Logic
Robert Demolombe · Journal of Applied Non-Classical Logics · 2003
We propose a translation into Modal Logic of the ideas that formalise belief change in the Situation Calculus. This translation is extended to the case of revision. In the conclusion is presented a set of open issues.