Epistemic Logic of Know-Who
Sophia Epstein, Pavel Naumov
2021Year
7Citations
1Top-tier citations
Abstract
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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext f84f7fd2-b73b-466d-aafe-2a84d1f16baaCited by top-tier papers1
Ask how each one uses itRelated papers
- Prevailing in the Dark: Information Walls in Strategic GamesPavel Naumov, Wenxuan ZhangAAAI 2022 · 2 citations
- Comprehension and KnowledgePavel Naumov, Kevin RosAAAI 2021 · 86 citations
- Model-Checking for Ability-Based Logics with Constrained PlansStéphane Demri, Raul FervariAAAI 2023 · 5 citations
- Common Knowledge of Abstract GroupsMerlin Humml, Lutz SchröderAAAI 2023 · 1 citation
- Program Semantics and Verification Technique for AI-Centred ProgramsSolofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco BelardinelliFM 2023 · 1 citation
