John McCabe-Dansted先生;马克·雷诺兹 为了公平起见,使用捆绑包。 (英语) Zbl 1420.03034号 安。数学。Artif公司。智力。 80,编号3-4,317-364(2017).MSC公司:03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}和\textit{M.Reynolds},安.数学。Artif公司。智力。80,编号3--4,317--364(2017;Zbl 1420.03034) 全文: 内政部
本·莫斯科夫斯基 使用区间和时间反转进行组合推理。 (英语) Zbl 1378.03017号 安。数学。Artif公司。智力。 71,编号1-3,175-250(2014).MSC公司:03B44号 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski},Ann.数学。Artif公司。智力。71,编号1--3,175-250(2014;Zbl 1378.03017) 全文: 内政部
彼得·霍夫纳;乔治·斯特鲁斯;萨特克利夫,杰夫 精炼法的自动验证。 (英语) Zbl 1184.68463号 安。数学。Artif公司。智力。 55,编号1-2,35-62(2009).MSC公司:68吨15 03G25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人,《数学年鉴》。Artif公司。智力。55,编号1--2,35-62(2009;Zbl 1184.68463) 全文: 内政部 链接
梅耶,J.-J.Ch。;范德霍克,W。 模态对比逻辑:“但是”的逻辑。 (英语) Zbl 0887.03021号 安。数学。Artif公司。智力。 17,No.3-4,291-313(1996).MSC公司:03B65号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer}和\textit{W.van der Hoek},Ann.数学。Artif公司。智力。17,编号3--4,291--313(1996;Zbl 0887.03021) 全文: 内政部