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.

中文翻译：

---

动态首选项逻辑遇到迭代的信念更改：表示结果并假定特征

AGM的信念修订是信念变更操作研究的主要范例之一。近来，在文献中已经提出了几种用于信念和信息改变的逻辑，并将其用于在丰富而富有表现力的语义框架中对信念改变操作进行编码。尽管之前Segerberg的工作已经研究过类似AGM的运算的连接及其在动态十二进制逻辑中的编码，但据我们所知，在动态认知逻辑（DEL）领域中的大多数工作都没有尝试将这些逻辑用作研究信念改变算子的数学性质的工具。这项工作研究了如何使用DEL系列中的逻辑动态偏好逻辑来研究动态信念变化算子的属性，重点关注迭代信念变化的著名假设。