  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.
