克莱尔·狄克逊；迈克尔·费希尔；迈克尔·伍尔德里奇 知识时间逻辑的解析。 （英语） Zbl 0951.03007号 J.日志。计算。 8，第3号，345-372（1998）. 摘要：提出了一种基于分辨率的知识时态逻辑证明系统，并证明其正确性。这种逻辑对于证明分布式和多智能体系统的属性很有用。举例说明了证明系统。给出了基本系统对多模态情况的扩展，并使用“浑浊儿童问题”进行了说明。 引用于1审查引用于11文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B44号 时序逻辑 03B42号 知识和信念的逻辑（包括信念变化） 03B70型 计算机科学中的逻辑 68T27型 人工智能中的逻辑 68立方英尺 知识表示 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：基于分辨率的证明系统；知识的时间逻辑 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，J.Log。计算。8，第3号，345--372（1998；Zbl 0951.03007） 全文： DOI程序 链接