A simple modal logic for belief revision
pp. 193-228
Abstract
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
Published in:
(2005) Knowledge, rationality & action. Synthese 147 (2).
Pages: 193-228
DOI: 10.1007/s11229-005-1348-8
Full citation:
Bonanno Giacomo (2005) „A simple modal logic for belief revision“. Synthese 147 (2), 193–228.