罗纳德·费金;约瑟夫·霍尔珀（Joseph Y.Halpern）。 关于知识和概率的推理。 （英语） Zbl 0806.68098号 J.协会计算。机器。 41，第2期，340-367（1994）。 引用于三评论引用于99文件 MSC公司： 68立方英尺 知识表示 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B45号 模态逻辑（包括规范逻辑） 关键词：可能的单词;知识;可能性 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}和\textit{J.Y.Halpern}，J.协会计算。机器。41，第2号，340--367（1994；Zbl 0806.68098） 全文： 内政部