De Re Updates

Michael Cohen
(Stanford University)
Wen Tang
(Peking University)
Yanjing Wang
(Peking University)

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.

In Joseph Halpern and Andrés Perea: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Beijing, China, June 25-27, 2021, Electronic Proceedings in Theoretical Computer Science 335, pp. 103–117.
Published: 22nd June 2021.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: