In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re updates. The logic is based on the dynamified version of an epistemic language extended with the assignment operator borrowed from dynamic logic, following the work of Wang and Seligman (Proc. AiML 2018). We obtain complete axiomatizations for the counterparts of public announcement logic and event-model-based DEL based on new reduction axioms taking care of the interactions between dynamics and assignments.

翻译：在本文中,我们提出了一个轻巧但强大的动态认知逻辑,不仅可以区分知识与知识,还可以区分知识与再知识,还可以区分更新与再更新,其逻辑依据是,根据王和塞利格曼(Aimle 2018 Proc. AIML 2018)的工作,从动态逻辑中借用了派任操作员所借用的传说语言的多动版。