# Epistemic Logic of Know-Who

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

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 11 Dec 2020.

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

- [Tableaux for the Logic of Strategically Knowing How](https://mlsanity.com/paper/2307.05066/) (2023)
- [De Re and De Dicto Knowledge in Egocentric Setting](https://mlsanity.com/paper/2308.00001/) (2023)

## Abstract (arXiv)

The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. It also introduces a logical system that describes the interplay between modalities "knows who", "knows", and "for all agents". The main technical result is a completeness theorem for the proposed system.