2026-07-20T11:57:04Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1205 2024-03-06T11:07:41Z ddc:004 open_access

Semantic structures for one-stage and iterated belief revision Bonanno, Giacomo Iterated belief revision choice functions Kripke semantics branching time modal logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Giacomo Bonanno 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07351.20 urn:nbn:de:0030-drops-12052 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.20 eng https://creativecommons.org/licenses/by/4.0/legalcode