Semantic structures for one-stage and iterated belief revision

Author Giacomo Bonanno

Thumbnail PDF


  • Filesize: 189 kB
  • 14 pages

Document Identifiers

Author Details

Giacomo Bonanno

Cite AsGet BibTex

Giacomo Bonanno. Semantic structures for one-stage and iterated belief revision. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Semantic structures for belief revision and iterated belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A correspondence between these one-stage structures and AGM belief revision functions is established. We then add branching time and consider more general structures that accommodate iterated revision. AGM temporal belief revision structures are defined and a syntactic axiomatization is provided.
  • Iterated belief revision
  • choice functions
  • Kripke semantics
  • branching time
  • modal logic


  • 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