论文标题
知识的认知逻辑
Epistemic Logic of Know-Who
论文作者
论文摘要
本文提出了使用名称的格罗夫·哈珀（Grove-Halpern）语义的“知道谁”作为一种方式的定义。它还引入了一个逻辑系统，描述了模式“知道谁”，“知道”和“对于所有代理人”之间的相互作用。主要技术结果是拟议系统的完整定理。
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.
