吉多·格拉迪;保罗·马菲齐奥利;奥兰德利,尤金尼奥 一阶逻辑扩展中的插值。 (英语) Zbl 1452.03128号 螺柱日志。 108,第3期,619-648(2020). 审核人:马里奥·阿尔维亚诺(伦德) MSC公司:03财年03 03C40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Gherardi}等人,研究日志。108,编号3619-648(2020;兹bl 1452.03128) 全文: 内政部 arXiv公司
Kurahashi、Taishi Rosser可证明性和正规模态逻辑。 (英语) Zbl 1481.03007号 螺柱日志。 108,第3期,597-617(2020).MSC公司:03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{T.Kurahashi},研究日志。108,第3号,597--617(2020;Zbl 1481.03007) 全文: 内政部 arXiv公司
尼尔·巴顿;安德烈斯·爱德华多·凯塞多;滚蛋,冈特;乔尔·戴维·哈姆金斯;乔纳斯·雷茨;拉尔夫·辛德勒 模型内反射原理。 (英语) Zbl 1481.03058号 螺柱日志。 108,第3号,573-595(2020).MSC公司:03E45型 03E35号 03E55 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{N.Barton}等人,研究日志。108,编号3,573--595(2020;Zbl 1481.03058) 全文: 内政部 arXiv公司
诺里希罗·卡米德;尤尼·佐哈尔 一阶理想次协调四值逻辑的完备性和删减。 (英语) Zbl 1481.03010号 螺柱日志。 108,第3期,549-571(2020).MSC公司:03B53号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{Y.Zohar},Stud.Log。108,第3号,549--571(2020;Zbl 1481.03010) 全文: 内政部
迈克尔·阿恩特 爆炸演算。 (英语) Zbl 1481.03061号 螺柱日志。 108,第3期,509-547(2020).MSC公司:03财年03 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Arndt},研究日志。108,第3号,509--547(2020;Zbl 1481.03061) 全文: 内政部
圣埃斯皮里托·何塞;吉尔达·费雷拉 通过原子多态性对直觉逻辑的精细解释。 (英语) Zbl 1479.03006号 螺柱日志。 108,第3期,477-507(2020年). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03B40型 03B38型 03财年03 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Espírito Santo}和\textit{G.Ferreira},Stud.Log。108,第3号,477--507(2020;Zbl 1479.03006) 全文: 内政部 链接
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak);马特乌斯·克洛诺夫斯基;雅罗斯拉夫·彼得鲁金 一些常规模态逻辑的简化Kripke式语义。 (英语) Zbl 1452.03061号 螺柱日志。 108,第3期,451-476(2020年). 审核人:坎·巴斯肯特(伦敦) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pietruszczak}等人,研究日志。108,第3号,451--476(2020;Zbl 1452.03061) 全文: 内政部
袁永丰 贝叶斯确认还是普通确认? (英语) Zbl 1481.62005年 螺柱日志。 108,编号3,425-449(2020).MSC公司:62A01型 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan},螺柱日志。108,第3号,425--449(2020;Zbl 1481.62005) 全文: 内政部
迈克尔·希珀斯;雅各布·科什科尔克 一致性概率度量的一般框架。 (英语) Zbl 1481.03002号 螺柱日志。 108,第3期,395-424(2020年).MSC公司:03A10号 60级05 PDF格式BibTeX公司 XML格式引用 \textit{M.Schippers}和\textit{J.Koscholke},Stud.Log。108,第3号,395--424(2020;Zbl 1481.03002) 全文: 内政部