mlsanityData to 14 Oct 2026

De Re Updates

arXiv 2106.11497 ↗First posted 22 Jun 2021cs.AI cs.LOcited by 2

Not on the map. Why?

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.

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

8 of 41 references.

References · 8

  1. 2016Beyond knowing that: a new generation of epistemic logicscited by 7
  2. 2018Bundled fragments of first-order modal logic: (un)decidabilitycited by 4
  3. 2016Knowing Values and Public Inspectioncited by 3
  4. 2017A New Modal Framework for Epistemic Logiccited by 3
  5. 2018When Names Are Not Commonly Known: Epistemic Logic with Assignmentscited by 2
  6. 2019Dynamic Term-Modal Logics for First-Order Epistemic Planningcited by 2
  7. 2019Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)cited by 2
  8. 2017A Logic for Global and Local Announcementscited by 1

Built on by

Cited by year

Citing papers per year: 2023: 1; 2024: 0; 2025: 1.

2 papers.

  1. 2023De Re and De Dicto Knowledge in Egocentric Settingcited by 0
  2. 2025An Epistemic Perspective on Agent Awarenesscited by 0