耶胡达·施瓦茨;乔治·图拉基斯 关于GL一阶扩张的证明理论。 （英语） Zbl 1321.03075号 日志。日志。菲洛斯。 23，第3号，329-363（2014）.MSC公司：03财年03 05年3月 03B45 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Schwartz｝和\textit｛G.Tourlakis｝，日志。日志。菲洛斯。23，第3号，329--363（2014；Zbl 1321.03075）
徐明 K4.3的一些正规扩展。 （英语） Zbl 1272.03103号 螺柱日志。 101，编号3，583-599（2013）. 审核人：G.E.Mints（斯坦福） MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}，Stud.Log。101，第3号，583--599（2013；Zbl 1272.03103） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 判定传递模型上一致插值的存在性。 （英语） Zbl 1209.03012号 架构（architecture）。数学。逻辑 50，第1-2期，185-196（2011）.MSC公司：03B45 03B44型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，拱门。数学。逻辑50，No.1--2，185--196（2011；Zbl 1209.03012） 全文： 内政部
古拉姆·贝扎尼什维利;利奥·伊萨基亚;Gabelaia，大卫 石头空间的模态逻辑：钻石作为导数。 （英语） Zbl 1197.03017号 版本符号。日志。 3，第1号，26-40（2010）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B45 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人，Rev.Symb。日志。3、编号1、26--40（2010；Zbl 1197.03017） 全文： 内政部
朱利叶斯·安德里科尼斯 模态逻辑K4的无环序列演算。 （英语） Zbl 1338.03029号 谎言。垫环。，谎言。马特·德拉吉霍斯·达布。 50, 241-246 (2009).MSC公司：03B45 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Andrikonis}，Liet（谎言）。垫环。，谎言。马特·德拉吉霍斯·达布。50241--246（2009年；Zbl 1338.03029）
埃米尔·杰瓦贝克 可受理规则的独立基础。 （英语） Zbl 1146.03008号 日志。J.IGPL公司 第3249-267号第16页（2008年）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B45 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek}，日志。J.IGPL 16，第3号，249--267（2008；Zbl 1146.03008） 全文： 内政部 链接
毛利，元彦 从反驳树构造模态逻辑K4的反模型。 （英语） Zbl 1036.03015号 牛市。第节。日志。，大学后勤部。 31，No.2，81-90（2002）.MSC公司：03B45 03年2月25日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mouri}，公牛。第节。日志。，大学后勤部。31，第2号，81--90（2002；Zbl 1036.03015）
托马斯·斯科拉 模态逻辑K4中的反驳、证明和模型。 （英语） Zbl 0998.03017号 螺柱日志。 70，第2期，193-204（2002）.MSC公司：03B45 03B25号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{T.Skura}，螺柱日志。70，第2号，193--204（2002；Zbl 0998.03017） 全文： 内政部
查格罗夫。 一阶效应和模态命题公式。 （英语） Zbl 0957.03029号 安德烈·坎蒂尼（编辑）等人，《逻辑与数学基础》。1995年8月19日至25日，佛罗伦萨，第十届国际逻辑、方法论和科学哲学大会论文集。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。280, 209-217 (1999). 审核人：贾科莫·博纳诺（戴维斯） MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chagrov}，Synth（合成）。伦敦银行同业拆借利率。280、209--217（1999；Zbl 0957.03029）
法比奥·贝利西玛;萨维里奥·西塔迪尼 模态逻辑K4中的极小纯象、公理化和覆盖。 （英语） Zbl 0960.03015号 螺柱日志。 62，第3期，371-398（1999）.MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellissima}和\textit{S.Cittadini}，Stud.Log。62，第3号，371--398（1999；Zbl 0960.03015） 全文： 内政部
迈克尔·扎克哈里亚舍夫 \（\mathbf K\mathbf4\）的标准公式。三： 有限模型属性。 （英语） Zbl 0893.03006号 J.塞姆。日志。 62，第3期，950-975（1997）. 审核人：迈克尔·扎克哈里亚舍夫（莫斯科） MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Zakharyaschev}，J.Symb。日志。62，第3号，950--975（1997；Zbl 0893.03006） 全文： 内政部
拉里萨·马克西莫娃 模态逻辑和时序逻辑中的隐式和显式可定义性。 （英语） Zbl 0842.03013号 Pólos，László（编辑）等人，《应用逻辑：如何、什么和为什么》。自然语言的逻辑方法。1992年12月在荷兰阿姆斯特丹举行的“应用逻辑：工作中的逻辑”国际会议上提交的论文。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。247, 153-159 (1995). 审核人：O.Sonobe（福洛妮卡） MSC公司：03B45 03C40号 PDF格式BibTeX公司 XML格式引用 \textit｛L.Maksimova｝，合成。伦敦银行同业拆借利率。247、153--159（1995；Zbl 0842.03013）
亚历山大·查格罗夫 关于K4扩张的广义后完备的一些注记。 （英语） Zbl 0795.03024号 牛市。第节。日志。，大学后勤部。 23，第1期，第27-29页（1994年）.MSC公司：03B45 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{A.Chagrov}，公牛。第节。日志。，大学后勤部。23，编号1，27--29（1994；Zbl 0795.03024）
马库斯·克拉希特 可预先公理化的模态和中间逻辑。 （英语） Zbl 0799.03011号 数学。日志。问：。 39，第3号，301-322（1993）. 审核人：M.Kracht（柏林） MSC公司：03B45 03B55号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Kracht｝，数学。日志。问39，第3号，301-322（1993；Zbl 0799.03011） 全文： 内政部 链接
里卡多·卡费拉;斯特凡·德姆里;米歇尔·赫敏特 证明、引理和策略从经典逻辑到非经典逻辑的转换框架。 （英语） Zbl 0796.03016号 螺柱日志。 第52期，第2期，197-232页（1993年）. 审核人：H.J.Ohlbach（萨尔布吕肯） MSC公司：03B35型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Caferra}等人，研究日志。52，编号2197-232（1993年；Zbl 0796.03016） 全文： 内政部
马克西莫娃，L.L。 模态逻辑K4正规扩展中Beth定理的模拟。 （俄语） Zbl 0795.03026号 同胞。材料Zh。 33，第6期，第118-130页（1992年）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B45 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，西布。材料Zh。33，第6号，118--130（1992；Zbl 0795.03026）
马克西莫娃，L.L。 模态逻辑K4正规扩展中Beth定理的模拟。 （英语。俄文原件） Zbl 0834.03005号 同胞。数学。J。 33，第6期，1052-1065（1992）; 来自Sib的翻译。材料Zh。33，第6期，第118-130页（1992年）。MSC公司：03B45 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，西布。数学。J.33，第61052-1065号（1992年；Zbl 08340.3005）；来自Sib的翻译。材料Zh。33，第6号，118--130（1992） 全文： 内政部
米哈伊尔·扎哈尔·亚什切夫 K4的标准公式。一： 基本结果。 （英语） Zbl 0774.03005号 J.塞姆。日志。 57，第4期，1377-1402（1992）. 审核人：S.Miura（冈崎/爱知） MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Zakhar'yashchev}，J.Symb。日志。57，第4号，1377--1402（1992；Zbl 0774.03005） 全文： 内政部
马库斯·克拉希特 模态逻辑中的内部可定义性和完整性。 （英语） Zbl 0742.03004号 柏林：FU Berlin，Fachbereich Mathematik，97 p.（1991）。 审核人：L.F.Goble（塞勒姆） MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Kracht}，模态逻辑中的内部可定义性和完整性。柏林：FU Berlin，Fachbereich Mathematik（1991；Zbl 0742.03004）
菲利普·巴尔比亚尼 非单调推理和模态逻辑，从作为失败的否定到默认逻辑。 （英语） Zbl 0794.03030号 Bouchon-Meunier，Bernadette（编辑）等人，《知识库中的不确定性》。第三届基于知识的系统信息处理和不确定性管理国际会议，IPMU’90。法国巴黎，1990年7月2日至6日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。521, 223-231 (1991).MSC公司：03B45 03B60号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}，莱克特。注释计算。科学。521223-231（1991年；兹bl 0794.03030）
马克西莫娃，L.L。 包含逻辑K4的模态无限切片逻辑中的插值。 （英语。俄文原件） Zbl 0729.03011号 同胞。高级数学。 第1期，第3期，第52-74页（1991年）; 翻译自Tr.Inst.Mat.12，72-91（1989）。MSC公司：03B45 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，西布。高级数学。1，第3号，52--74（1991；Zbl 0729.03011）；翻译自Tr.Inst.Mat.12，72--91（1989）
马克西莫娃，L.L。 包含逻辑K4的模态无限切片逻辑中的插值。 （俄语） Zbl 0713.03006号 Tr.Inst.Mat.12，72-91（1989）。 审核人：V.谢赫特曼 MSC公司：03B45 PDF格式BibTeX公司 XML格式
Quaife，艺术 Löb定理和Gödel两个不完全性定理的自动证明。 （英语） Zbl 0657.03007号 J.汽车。推理 4，第2期，219-231（1988）. 审核人：李翔 MSC公司：03B35型 03B45 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Quaife}，J.Autom（汽车杂志）。推理4，No.2，219--231（1988；Zbl 0657.03007） 全文： 内政部
布洛克，W.J。 模态代数的先验变体。 （英语） Zbl 0457.03018号 螺柱日志。 39, 101-124 (1980).MSC公司：03B45 03G25号 08B15号 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Blok}，研究日志。39101-124（1980年；兹bl 0457.03018） 全文： 内政部
里巴科夫，V.V。 带有LM-axioms的模态逻辑。 （英语） Zbl 0427.03013号 代数逻辑 17302-310（1979年）.MSC公司：03B45 03B55号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑17，302-310（1979；Zbl 0427.03013） 全文： 内政部
里巴科夫，V.V。 莫代尔Logiken mit LM-Axiomen。 （俄语） Zbl 0417.03007号 代数逻辑卡 17, 455-467 (1978).MSC公司：03B45 03B55号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑17，455--467（1978；Zbl 0417.03007）