A simple modal logic for belief revision

Author Giacomo Bonanno

Thumbnail PDF


  • Filesize: 289 kB
  • 8 pages

Document Identifiers

Author Details

Giacomo Bonanno

Cite AsGet BibTex

Giacomo Bonanno. A simple modal logic for belief revision. In Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Dagstuhl Seminar Proceedings, Volume 5321, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


I propose a modal logic for belief revision based on three operators representing initial beliefs, information and revised beliefs. Three axioms are put forward that express three simple principles: (1) if the agent is informed of something that he considered possible initially, then he incorporates the information in his revised beliefs, (2) if the information received is not surprising then all previous beliefs are maintained (although new beliefs may be added) and (3) any new belief must be deducible from the initial beliefs and the information received. I show that these three axioms characterize the qualitative content of Bayes' rule. I also construct a logic which is sound and complete with respect to the class of frames that satisfy the qualitative Bayes rule. Some interesting theorems are derived for extensions of this logic, for example that the agent initially believes that he later will believe A if and only if he already believes A to start with. I then extend the framework to deal with iterated belief revision and the iterated version of Bayes rule.
  • Belief revision
  • information
  • Bayes' rule
  • iterated revision


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail