Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization
This work provides a new logical tool for researchers in belief change to investigate the mathematical properties of iterated belief change operations, potentially offering new insights into their structure.
This paper explores the use of Dynamic Preference Logic, a member of the Dynamic Epistemic Logic family, to analyze the mathematical properties of iterated belief change operators. It focuses on characterizing well-known postulates within this logical framework.
AGM's belief revision is one of the main paradigms in the study of belief change operations. Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich and expressive semantic frameworks. While the connections of AGM-like operations and their encoding in dynamic doxastic logics have been studied before by the work of Segerberg, most works on the area of Dynamic Epistemic Logics (DEL) have not, to our knowledge, attempted to use those logics as tools to investigate mathematical properties of belief change operators. This work investigates how Dynamic Preference Logic, a logic in the DEL family, can be used to study properties of dynamic belief change operators, focusing on well-known postulates of iterated belief change.