Epistemic Logic of Know-Who
Not on the map. Why?
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.
Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). First posted on arXiv 11 Dec 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2023: 2.
2 papers.
- 2023Tableaux for the Logic of Strategically Knowing Howcited by 0
- 2023De Re and De Dicto Knowledge in Egocentric Settingcited by 0
- 2023De Re and De Dicto Knowledge in Egocentric Setting18 Jul 2023
- 2023Tableaux for the Logic of Strategically Knowing How11 Jul 2023