BriefGPT.xyz
Ask
alpha
关键词
completeness theorem
搜索结果 - 1
AAAI
知谁的认识逻辑
本文定义了使用 Grove-Halpern 语义名称的模态 “知道谁”，并引入了描述模态 “知道谁”、“知道” 和 “所有代理” 的相互作用的逻辑系统。该系统的主要技术成果是提出了一条完整性定理。
PDF
4 years ago
Prev
Next