报告介绍了处理偏好改变的形式框架，分别是AGM的框架和动态认知逻辑框架。为了看清两种框架可能的共同点，给出了一个AGM框架的模态版本。具体地说，用类似于动态认知逻辑中的那种表示动作的模态词，来模拟原本的AGM中的偏好变化算子。可以证明这种模拟忠实地反映了原算子的性质。一些原本以元定理呈现的结论，在新的框架下，能够被表达为系统中的有效式或有效的规则。