Generalized Iterated Belief Change in Dynamic Epistemic Logic

Abstract

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. They have been used to encode belief change operations in rich and expressive semantic frameworks. While the connection of AGM-like operations and their encoding in dynamic doxastic logics has been studied before by the exceptional work of Segerberg, most work on the area of Dynamic Epistemic Logics (DEL) has not attempted to characterise belief change operators by means of their logical properties. This work investigates how Dynamic Preference Logic, a logic in the DEL family, can be used to characterise properties of dynamic belief change operators, focusing on well-known postulates of iterated belief change.