Epistemic Logic of Know-Who
Sophia Epstein, Pavel Naumov
2021年份
7被引次数
1顶会引用
摘要
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.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式，引用它的顶会 Paper 也一样。你提问，回答直接引用原文。
引用它的顶会 Paper1
问问它们各自怎么用它相关 Paper
- Prevailing in the Dark: Information Walls in Strategic GamesPavel Naumov, Wenxuan ZhangAAAI 2022 · 被引用 2 次
- Comprehension and KnowledgePavel Naumov, Kevin RosAAAI 2021 · 被引用 86 次
- Model-Checking for Ability-Based Logics with Constrained PlansStéphane Demri, Raul FervariAAAI 2023 · 被引用 5 次
- Common Knowledge of Abstract GroupsMerlin Humml, Lutz SchröderAAAI 2023 · 被引用 1 次
- Program Semantics and Verification Technique for AI-Centred ProgramsSolofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco BelardinelliFM 2023 · 被引用 1 次
