Semantic structures for one-stage and iterated belief revision
Giacomo F. Bonanno · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 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.