• Media type: Text; E-Article; Electronic Conference Proceeding
  • Title: Semantic structures for one-stage and iterated belief revision
  • Contributor: Bonanno, Giacomo [Author]
  • Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
  • Language: English
  • DOI: https://doi.org/10.4230/DagSemProc.07351.20
  • Keywords: Kripke semantics ; branching time ; choice functions ; Iterated belief revision ; modal logic
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access