尼克·贝扎尼什维利;卢卡·卡莱;西尔维奥·吉拉尔迪;露西娅·兰迪 (\Pi_2)推理规则的可容许性:插值、模型完成和接触代数。 (英语) Zbl 07601551号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103169,31页(2023).MSC公司:03B45号 03C10号机组 06E25年 54E05型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,Ann.Pure Appl。逻辑174,第1号,文章ID 103169,31页(2023;Zbl 07601551) 全文: 内政部 arXiv公司
斯蒂芬·巴什马科夫。 线性模态逻辑中非及物时间和通用模态的统一。 (英语) 兹伯利07325382 J.西布。联邦大学数学系。物理学。 11,第1期,第3-9期(2018年).MSC公司:03B45号 03B35型 03B20型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov},J.Sib。联邦大学数学系。物理学。11、第1、3--9号(2018;Zbl 07325382) 全文: 内政部 MNR公司
菲利普·巴尔比亚尼;乔丹·根瑟 \(KD)为空。 (英语) Zbl 1398.03086号 J.应用。非类别。日志。 27,第3-4号,196-205(2017).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{乔·根瑟},J.Appl。非类别。日志。27,编号3-4196-205(2017;兹bl 1398.03086) 全文: 内政部
菲利普·巴尔比亚尼;乔丹·根瑟 认识逻辑中的统一。 (英语) Zbl 1398.03070号 J.应用。非类别。日志。 27,编号1-2,91-105(2017).MSC公司:03B42型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{乔·根瑟},J.Appl。非类别。日志。27、编号1--2、91-105(2017;Zbl 1398.03070) 全文: 内政部 链接
弗兰兹·巴德;奥利弗·费尔南德斯·吉尔;巴夫洛斯·马兰蒂迪斯 描述逻辑中的近似:加权树自动机如何帮助定义\(\mathcal)中所需的概念比较度量{FL}_0\). (英语) Zbl 1485.68245号 Drewes,Frank(编辑)等人,《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10168, 3-26 (2017).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,Lect。注释计算。科学。10168,3--26(2017;Zbl 1485.68245) 全文: 内政部
弗兰兹·巴德;阮晋平;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 在没有顶层构造函数的描述逻辑中决定一致性并计算局部一致性。 (英语) 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) 全文: 内政部 欧几里得 链接
罗莎莉,伊姆霍夫 关于规则。 (英语) Zbl 1336.03037号 J.菲洛斯。日志。 44,第6期,697-711(2015).MSC公司:03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{R.Iemhoff},J.Philos。日志。44,第6号,697--711(2015年;兹bl 1336.03037) 全文: 内政部
菲利普·巴尔比亚尼;乔丹·根瑟 接触逻辑中的可接纳性和统一性。 (英语) 兹伯利1326.03034 Aher,Martin(编辑)等人,《逻辑、语言和计算》。第十届第比利斯逻辑、语言和计算国际研讨会,2013年TbiLLC,格鲁吉亚古达乌里,2013年9月23日至27日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-662-46905-7/pbk;978-3-662-46906-4/ebook)。计算机科学课堂讲稿8984,44-60(2015)。MSC公司:03B60号 03年2月25日 54A05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{乔·根瑟},莱克特。注释计算。科学。8984,44-60(2015;Zbl 1326.03034) 全文: 内政部 链接
罗莎莉,伊姆霍夫 古达乌里州受理规则指南。 (英语) Zbl 1326.03002号 Aher,Martin(编辑)等人,《逻辑、语言和计算》。第十届第比利斯逻辑、语言和计算国际研讨会,2013年TbiLLC,格鲁吉亚古达乌里,2013年9月23日至27日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-662-46905-7/pbk;978-3-662-46906-4/ebook)。计算机科学课堂讲稿8984,10-17(2015)。MSC公司:03-01 03B22号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff},莱克特。注释计算。科学。8984,10-17(2015;Zbl 1326.03002) 全文: 内政部
弗兰兹·巴德;阮晋平;斯特凡·博格沃德;巴巴拉·莫拉夫斯卡 描述逻辑(\mathcal{EL})中没有顶层概念的统一。 (英语) Zbl 1341.68205号 Björner,Nikolaj(编辑)等人,《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22437-9/pbk;978-3-442-22438-6/电子书)。计算机科学课程讲稿6803。人工智能课堂讲稿,70-84(2011)。MSC公司:68T27型 2017年第68季度 2012年第68季度 68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,Lect。注释计算。科学。6803,70-84(2011年;兹bl 1341.68205) 全文: 内政部
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫;雷娜特·施密特(Renate A.Schmidt)。;蒂什科夫斯基,德米特里 S4中检查规则可接受性的表方法。 (英语) Zbl 1345.03033号 Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》26217-32(2010)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}等人,《电子》。注释Theor。计算。科学。262、17-32(2010年;Zbl 1345.03033) 全文: 内政部
弗拉基米尔·里巴科夫 传递时态逻辑中允许的规则{T}(T)_{\mathrm(马特姆){S} 4个}\),充分条件。 (英语) Zbl 1209.03011号 西奥。计算。科学。 411,第50号,4323-4332(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Rybakov},Theor。计算。科学。411、50号、4323--4332(2010;Zbl 1209.03011) 全文: 内政部
弗兰兹·巴德;巴巴拉·莫拉夫斯卡 描述逻辑中的统一(\mathcal{EL})。 (英语) Zbl 1242.68300号 Treinen,Ralf(编辑),重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02347-7/pbk)。计算机科学课堂讲稿5595,350-364(2009)。MSC公司:68T27型 03B35型 2017年第68季度 2012年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{B.Morawska},莱克特。注释计算。科学。5595、350-364(2009年;Zbl 1242.68300) 全文: 内政部
劳滕贝格,W。;Zakharyaschev,M。;F.沃尔特。 威廉·布洛克和模态逻辑。 (英语) Zbl 1105.03020号 螺柱日志。 83,编号1-3,15-30(2006). 审核人:G.E.Mints(斯坦福) MSC公司:03B45号 03B55号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{W.Rautenberg}等人,研究日志。83,第1-3、15-30号(2006年;Zbl 1105.03020) 全文: 内政部