AAAIDec, 2020

知谁的认识逻辑

TL;DR本文定义了使用 Grove-Halpern 语义名称的模态 “知道谁”,并引入了描述模态 “知道谁”、“知道” 和 “所有代理” 的相互作用的逻辑系统。该系统的主要技术成果是提出了一条完整性定理。