# De Re Updates

arXiv: https://arxiv.org/abs/2106.11497 · HTML: https://mlsanity.com/paper/2106.11497/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 8 of its 41 references that are in the map.
- First posted on arXiv 22 Jun 2021.

## Builds on (most cited first, 8 of 8)

- [Beyond knowing that: a new generation of epistemic logics](https://mlsanity.com/paper/1605.01995/) (2016)
- [Bundled fragments of first-order modal logic: (un)decidability](https://mlsanity.com/paper/1803.10508/) (2018)
- [Knowing Values and Public Inspection](https://mlsanity.com/paper/1609.03338/) (2016)
- [A New Modal Framework for Epistemic Logic](https://mlsanity.com/paper/1707.08764/) (2017)
- [When Names Are Not Commonly Known: Epistemic Logic with Assignments](https://mlsanity.com/paper/1805.03852/) (2018)
- [Dynamic Term-Modal Logics for First-Order Epistemic Planning](https://mlsanity.com/paper/1906.06047/) (2019)
- [Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)](https://mlsanity.com/paper/1908.09658/) (2019)
- [A Logic for Global and Local Announcements](https://mlsanity.com/paper/1707.08735/) (2017)

## Built on by (most cited first, 2 of 2)

- [De Re and De Dicto Knowledge in Egocentric Setting](https://mlsanity.com/paper/2308.00001/) (2023)
- [An Epistemic Perspective on Agent Awareness](https://mlsanity.com/paper/2511.05977/) (2025)

## Abstract (arXiv)

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.