~AUMANN，R.J.，1976年。 同意或不同意。 Ann.Stat.4，6，1236 1239。 谷歌学者 
~ CAVE，J.1983年。 学会同意。 经济。 莱特。 12, 147 152. 谷歌学者 ~FAGIN，R.、HALPERN，J.Y.和MEGIDDO，N.，1990年。 推理概率的逻辑~ InJ公司。 计算。 87, 1/2, 78-128. 谷歌学者 ~费尔德曼，1984年。 一种具有显式概率的可判定原概率动态逻辑。 信息控制，63，11-38。 谷歌学者 ~W.FELLER，1957年。 Probab&；简介； tv TheoO及其Apphcatlons，第1卷。 Wfiey，~纽约。 谷歌学者 ~fISCHER，M.J.和LADNER，R E.，1979年。 正则程序的命题动态逻辑。 J.~计算。 服务。 理学硕士。 18, 2, 194-211. 谷歌学者 ~FISCHER，M.J.和ZUCK，k.D.，1987年。 关联知识和信念（扩展抽象）。 技术~代表YALEU/DCS/TR-589。 耶鲁大学。 谷歌学者 ~FISCHER，M.J.和ZUCK，L.D.，1988年。 推理容错分布式~系统中的不确定性。 技术代表YALEU/DCS/TR-643。 耶鲁大学。 谷歌学者 ~GA1FMAN，H.，1986年。 高阶概率理论。 《关于知识的推理：1086 Cottference论文集的理论方面》，J.Y.Halpern主编，Morgan-Kaufmann，San~Mateo，Calif.，第275-292页。 谷歌学者 ~GOLDWASSER，S.、MICALI，S.和RACKOFF，C.，1989年。 交互式证明系统的知识复杂性。 SIAM J.计算。 186-208年2月1日，第18页。 谷歌学者 ~HALMOS，P.，1950年。 度量理论。 Van Nostrand，纽约。 谷歌学者 ~HALPERN，J.Y.，1987年。 使用知识推理分析分布式系统。 《计算机科学年度更新》，第2卷。 J.F.Traub、B.J.Grosz、B.W.Lampson和N.J.~ Nilsson编辑的《年度评论公司》，加利福尼亚州帕洛阿尔托，第37-68页。 谷歌学者 ~HALPERN，J.Y.，1991年。 知识、信念和确定性之间的关系。 安。数学~ Artif公司。 国际，4301-322。 谷歌学者 ~HALPERN，J.Y.和MCALLESTER，D.A.，1989年。 知识、可能性和概率。 Compu-~tat公司。 高温超导。 5, 151-160. 谷歌学者 ~HALPERN，J.Y.和MOSES，Y.，1990年。 分布式环境中的知识和常识。 J.ACM 37，3（7月），549-587。 谷歌学者 ~HALPERN，J.Y.和MOSES，Y.，1992年。 模态逻辑知识和信念的完整性和复杂性指南。 Artif公司。 hzt。 54, 319 379. 谷歌学者 ~HALPERN，J.Y.、MOSES，Y.和TUTTLE，M.R.，1988年。 基于知识的零知识分析。 第20届ACM计算机理论研讨会论文集（芝加哥，II1.，~5月2-4日）。 ACM，纽约，第132-147页。 谷歌学者 ~HALPERN，J.Y.和RABIN，M.O.，1987年。 推理可能性的逻辑。 Artif公司。 第32、3、379-405页。 谷歌学者 ~HALPERN，J.Y.和TUTTLE，M.R.，1993年。 知识、概率和对手。 J.ACM 40，~4（9月），917-962。 谷歌学者 ~HART，S.和SHARIR，M.，1984年。 有限和有界模型的概率时间逻辑。 第16届ACM计算机理论研讨会论文集（4月至5月2日，华盛顿特区）。 ACM，纽约，第113页。 谷歌学者 ~HINTIKKA，J.，1962年。 知识与信念：康奈尔大学出版社，纽约州伊萨卡。 谷歌学者 ~休斯，G.E.和克雷斯韦尔，M.J.，1968年。 模态逻辑概论。 伦敦Methuen。 谷歌学者 ~KOZEN，D.，1985年。 概率PDL。 J.计算。 系统。 科学。 30, 162-178. 谷歌学者 ~KRIPKE，S.，1963年。 模态逻辑的语义分析。 I： 正规模态命题演算。 Z.~数学。 Logik Grundl公司。 数学。 9, 67-96. （发表于J.Syrnb.Logic 241959年，第323页。） 谷歌学者 ~拉德纳，R.E.，1977年。 模态命题逻辑系统可证明性的计算复杂性。 SIAM J.康普特。 6, 3, 467-480. 谷歌学者 ~LEHMANN，D.和SHELAH，S.，1982年。 推理时间和变化。 Inf.对照53，~165-198。 谷歌学者 ~LENZEN，W.，1978年。 认知逻辑的最新研究。 《菲尔学报》。 30, 1-219. 谷歌学者 ~MAKINSON，D.，1966年。 关于模态逻辑中的一些完备性定理。 Z.数学。 Logik通用~ 数学。 12, 379-384. 谷歌学者 ~米勒，D.，1966年。 信息的悖论。 英国。 J.Phil.科学。， 17 谷歌学者 ~MONDERER，D.和SAMET，m.，1989年。 用共同的信念逼近共同的知识~ 游戏与经济行为，ior 117-190。 谷歌学者 ~MOORE，R.C.，1985年。 关于知识和行动的正式理论。 在《常识世界的Fomlal理论》中，J.Hobbs和R.C.Moore编辑，Ablex出版公司，新泽西州诺伍德，第319-358页。 谷歌学者 ~MOSES，Y.，1988年。 资源丰富的知识。 在关于知识推理的理论方面的第二届会议的会议记录中。 M.Y.Vardi编辑，Morgan-Kaufmann，加州圣马特奥，第261-276页。 谷歌学者 NEVEU，J.，1964年。 《概率计算数学基础》~s.梅森。 谷歌学者 NILSSON，N.，1986年。 概率逻辑。 Artif公司。 国际标准28，71-87。 谷歌学者 ~PRATt，V.R.，1979年。 程序逻辑模型。 第20届IEEE计算机科学基础研讨会论文集。 IEEE，纽约，第115-122页。 谷歌学者 ~RUSPINI，E.n.，1987年。 认识逻辑、概率和证据演算。 《其他国际人工智能联合会议论文集》（IJCAI-87），第924 931页。 谷歌学者 ~SHAFER，G.，1976年。 Et~idence的数学理论。 普林斯顿大学出版社，新泽西州普林斯顿。 谷歌学者 ~SKYRMS，B.，1980年。 更高级别的信念。 实用主义前景：纪念F.P.拉姆索的论文。 D.H.Mellor主编，英国剑桥大学出版社。 谷歌学者
建议
评论
