# When Names Are Not Commonly Known: Epistemic Logic with Assignments

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

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 10 May 2018.

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

- [De Re Updates](https://mlsanity.com/paper/2106.11497/) (2021)
- [De Re and De Dicto Knowledge in Egocentric Setting](https://mlsanity.com/paper/2308.00001/) (2023)

## Abstract (arXiv)

In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly. This is unreasonable for various applications. Inspired by term modal logic and assignment operators in dynamic logic, we introduce a lightweight modal predicate logic where names can be non-rigid. The language can handle various de dicto and de re distinctions in a natural way. The main technical result is a complete axiomatisation of this logic over S5 models.