斯特凡诺游击队;安德烈亚·马西尼 经典逻辑的证明网。 (英文) 兹比尔1529.03266 圣母院J.形式逻辑 62,第2号,303-343(2021).MSC公司:03财年03 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Guerrini}和\textit{A.Masini},圣母院J.形式逻辑62,No.2,303--343(2021;Zbl 1529.03266) 全文: 内政部
弗兰兹·巴德;阮晋平;Stefan博格沃特;巴巴拉·莫拉夫斯卡 在没有顶层构造函数的描述逻辑中决定一致性并计算局部一致性。 (英文) Zbl 1358.68272号 圣母院J.形式逻辑 57,第4期,443-476(2016). 审核人:埃里克·马丁(悉尼) MSC公司:68T27型 03B45号 2017年第68季度 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,《圣母院J.形式逻辑》57,第4期,443--476(2016;Zbl 1358.68272) 全文: 内政部 欧几里得
罗莎莉,伊姆霍夫 传递性自反模态逻辑中统一的句法方法。 (英文) Zbl 1436.03133号 圣母院J.形式逻辑 57,第2期,233-247(2016).MSC公司:03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff},圣母院J.形式逻辑57,No.2,233--247(2016;Zbl 1436.03133) 全文: 内政部 欧几里得 链接