2022/01/26 by Bonanno, Giacomo
#Iterated belief revision #Kripke semantics #branching time #choice functions #modal logic
paper · doi:10.4230/dagsemproc.07351.20
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.