于伊夫列夫。五、。 模态逻辑。（莫达尔·纳亚·罗吉卡） （俄语） Zbl 0797.03012号 莫斯科：莫斯科大学。224页（1991年）。MSC公司：03B45号 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Ivlev}，Modal'naya logika（俄语）。莫斯科：莫斯科大学（1991；Zbl 0797.03012）
范德霍克，W。 认知逻辑中的分级形式。 （英语） Zbl 0814.03015号 逻辑分析。，努夫。Sér。 34，编号133-134，251-270（1991）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B45号 68T27型 68立方英尺 03B48 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}，日志。分析。，努夫。Sér。34，编号133--134，251--270（1991；Zbl 0814.03015）
约翰·范·本特姆 关于认知逻辑的思考。 （英语） Zbl 0814.03002号 逻辑分析。，努夫。Sér。 34，编号133-134，5-14（1991）. 审核人：V.Shekhtman（莫斯科） MSC公司：03A05号 03B45号 68T27型 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}，日志。分析。，努夫。Sér。34，编号133--134，5--14（1991；Zbl 0814.03002）
贾斯帕斯，简 部分模态逻辑中的理论界限。 （英语） Zbl 0798.03027号 Eijck，Jan van（编辑），《人工智能中的逻辑》，欧洲研讨会JELIA’90，荷兰阿姆斯特丹，1990年9月10日至14日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。478, 301-316 (1991).MSC公司：03B60号 03B45号 68T27型 第68季度55 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{J.贾斯帕斯}，莱克特。票据计算。科学。478301--316（1991年；Zbl 0798.03027）
J.Michael Dunn 缝隙理论：伽罗瓦联系和剩余的抽象，应用于否定、蕴涵和各种逻辑运算符。 （英语） Zbl 0814.03044号 Eijck，Jan van（编辑），《人工智能中的逻辑》，欧洲研讨会JELIA’90，荷兰阿姆斯特丹，1990年9月10日至14日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。478, 31-51 (1991). 审核人：V.Shekhtman（莫斯科） MSC公司：03G25号 2015年1月6日 05年6月 03B45号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Dunn}，莱克特。票据计算。科学。478，31-51（1991；Zbl 0814.03044）
Švejdar，维特·兹斯拉夫 一些独立性导致了可解释性逻辑。 （英语） Zbl 0728.03016号 螺柱日志。 50，第1期，29-38（1991）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛V.Švejdar｝，螺柱日志。50，编号1，29--38（1991；Zbl 0728.03016） 全文： 内政部
约翰·米切尔（John C.Mitchell）。；尤金尼奥·莫吉 类型化lambda演算的Kripke型模型。 （英语） Zbl 0728.03011号 Ann.纯粹应用。逻辑 51，编号1-2，99-124（1991）. 审核人：T.Hikita（川崎） MSC公司：03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell}和\textit{E.Moggi}，Ann.Pure Appl。逻辑51，编号1--2，99-124（1991；Zbl 0728.03011） 全文： 内政部
普勒斯，W。 证明理论和序数分析。 （英语） Zbl 0724.03033号 架构（architecture）。数学。逻辑 30，编号5-6，311-376（1991）. 审核人：H.Pfeiffer（汉诺威） MSC公司：2015年1月3日 03财年03 05年3月 2007年3月 03E55型 20层03 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{W.Pohlers}，拱门。数学。逻辑30，编号5--6311--376（1991；Zbl 0724.03033） 全文： 内政部
罗希特·帕里赫 知识的单调逻辑和非单调逻辑。 （英语） Zbl 0754.03016号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 15，第3-4、255-274号（1991年）. 审核人：P.G.Holban（伊阿什） MSC公司：03B60号 68立方英尺 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Parikh}，安.社会数学。政策。，序列号。四、 芬丹。Inf.15，No.3--4，255-274（1991；Zbl 0754.03016）
米奥德拉格·拉什科维奇 具有普通量词和概率量词的无限直觉逻辑的完备性定理。 （英语） Zbl 0744.03038号 出版物。数学研究所。，努夫。Sér。 50(64), 7-13 (1991).MSC公司：03C70号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}，出版物。数学研究所。，努夫。Sér。50（64），7-13（1991；Zbl 0744.03038） 全文： 欧洲DML
霍尔巴赫，H.J。 模态逻辑的基于语义的翻译方法。 （英语） Zbl 0746.03010号 J.日志。计算。 第1期，第5期，691-746（1991年）. 审核人：G.Mints（斯坦福） MSC公司：03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}、J.Log。计算。1，第5号，691--746（1991；Zbl 0746.03010） 全文： 内政部 链接
西尔维奥·吉拉尔迪 不完整性导致Kripke语义。 （英语） Zbl 0745.03020号 J.塞姆。日志。 56，第2期，517-538（1991）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B55号 03B45 03C90号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}，J.Symb。日志。56，编号2，517--538（1991；Zbl 0745.03020） 全文： 内政部