236952

(2005) Synthese 147 (2).

A simple modal logic for belief revision

Giacomo Bonanno

pp. 193-228

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule. Some theorems of this logic are derived concerning the interaction between current beliefs and future beliefs. Information flows and iterated revision are also discussed.

Publication details

DOI: 10.1007/s11229-005-1348-8

Full citation:

Bonanno, G. (2005). A simple modal logic for belief revision. Synthese 147 (2), pp. 193-228.

This document is unfortunately not available for download at the moment.