奥彻,纪尧姆 认知逻辑的内部版本。 (英语) Zbl 1200.03016号 螺柱日志。 94,第1期,1-22页(2010年). 审核人:埃里克·马丁(悉尼) MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Aucher},螺柱日志。94,编号1,1--22(2010;Zbl 1200.03016) 全文: 内政部 链接
C.亚当。;A.Herzig。;D.朗金。 OCC情绪理论的逻辑形式化。 (英语) Zbl 1182.03008号 合成 168,第2期,201-248(2009).MSC公司:03A05号 03B45号 91E99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Adam}等人,Synthese 168,No.2,201--248(2009;Zbl 1182.03008) 全文: 内政部 哈尔