克里斯托夫·本兹穆勒 量化条件逻辑的简化。 （英语） Zbl 1417.03282号 J.菲洛斯。日志。 46，第3期，333-353（2017）.MSC公司：05年3月 03B15号机组 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}，J.Philos（费罗斯）。日志。46，第3号，333--353（2017；Zbl 1417.03282） 全文： 内政部
弗朗西丝卡·波乔列西 反事实逻辑的自然演绎计算和后继计算。 （英语） Zbl 1417.03286号 螺柱日志。 104，第5期，1003-1036（2016）.MSC公司：05年3月 03B42号 03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit｛F.Poggiolesi｝，螺柱日志。104，第5号，1003--1036（2016；Zbl 1417.03286） 全文： 内政部 哈尔
萨拉·内格里；尼古拉·奥利维蒂 基于邻域语义的优先条件逻辑的序列演算。 （英语） Zbl 1471.03059号 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 115-134 (2015).MSC公司：03B60号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri}和\textit{N.Olivetti}，莱克特。注释计算。科学。9323115-134（2015；Zbl 1471.03059） 全文： 内政部
科斯塔斯·库特拉斯。；克里斯托斯·兰苏迪斯 在所有但有限多的可能世界中：“压倒性多数'默认条件。 （英语） Zbl 1465.68241号 Destercke，Sébastien（编辑）等人，用符号和定量方法进行不确定性推理。第13届欧洲会议，ECSQARU 2015，法国康皮涅，2015年7月15日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9161, 117-126 (2015).MSC公司：68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Koutras}和\textit{C.Rantsoudis}，莱克特。注释计算。科学。9161117-126（2015；Zbl 1465.68241） 全文： 内政部
克里斯托夫·本兹穆勒；Dov Gabbay公司；基诺维斯，瓦莱里奥；丹尼尔·里斯波里 在经典高阶逻辑中嵌入和自动化条件逻辑。 （英语） Zbl 1272.03064号 安。数学。Artif公司。智力。 66，编号1-4，257-271（2012）. 审核人：奈尔·扎莫夫（喀山） MSC公司：03B15号机组 03B35型 03B60号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人，《数学年鉴》。Artif公司。智力。66，编号1-4-257-271（2012年；兹bl 1272.03064） 全文： 内政部 arXiv公司 链接
比约恩·莱尔曼；德克·帕丁森 Lewis条件逻辑的序列系统。 （英语） Zbl 1361.68238号 Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。《人工智能课堂讲稿》，320-332（2012）。MSC公司：68T27型 03B60号 05年3月 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Lellmann}和\textit{D.Pattinson}，Lect。注释计算。科学。7519、320——332（2012年；Zbl 1361.68238） 全文： 内政部
雷吉斯·阿伦达；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨 条件逻辑的嵌套序列计算。 （英语） Zbl 1361.68213号 Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。人工智能课堂讲稿，14-27（2012）。MSC公司：68T27型 03B45号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Alenda}等人，Lect。注释计算。科学。7519、14-27（2012年；Zbl 1361.68213） 全文： 内政部
罗伊·戴克霍夫；萨拉·内格里 中间逻辑中的证明分析。 （英语） Zbl 1241.03068号 架构（architecture）。数学。逻辑 51，编号1-2，71-92（2012）. 审核人：G.E.Mints（斯坦福） MSC公司：05年3月 03B20型 03B45号 03B55号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Dyckhoff}和\textit{S.Negri}，拱门。数学。逻辑51，编号1-2，71-92（2012；Zbl 1241.03068） 全文： 内政部
比约恩·莱尔曼；德克·帕丁森 浅模态逻辑的割消。 （英语） Zbl 1244.68069号 Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。《人工智能课堂讲稿》，211-225（2011）。 审核人：G.E.Mints（斯坦福大学） MSC公司：68吨15 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Lellmann}和\textit{D.Pattinson}，Lect。注释计算。科学。6793、211--225（2011；Zbl 1244.68069） 全文： 内政部
基诺维斯，瓦莱里奥；劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨 用于访问控制的条件构造逻辑及其序列演算。 （英语） Zbl 1333.03104号 Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。人工智能课堂讲稿，164-179（2011）。MSC公司：03B70号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Genovese}等人，莱克特。注释计算。科学。6793、164--179（2011年；Zbl 1333.03104） 全文： 内政部
卢茨·施罗德；德克·帕丁森 基于多分类余代数的异构模态逻辑模块化算法。 （英语） Zbl 1260.03061号 数学。结构。计算。科学。 21，第2期，235-266（2011）.MSC公司：03B70号 03B45号 03B25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}和\textit{D.Pattinson}，数学。结构。计算。科学。21，第2号，235--266（2011；Zbl 1260.03061） 全文： 内政部
德克·帕丁森；卢茨·施罗德 余代数逻辑中的截消。 （英语） Zbl 1255.03052号 Inf.计算。 208，第12期，1447-1468（2010）.MSC公司：05年3月 03G30型 03B45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Pattinson｝和\textit｛L.Schröder｝，信息计算。208，第12号，1447--1468（2010；Zbl 1255.03052） 全文： 内政部 链接
德克·帕丁森；卢茨·施罗德 合并逻辑中切割的可接受性。 （英语） Zbl 1279.03087号 Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，221-241（2008）。MSC公司：03G30型 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Pattinson}和\textit{L.Schröder}，电子。注释Theor。计算。科学。203，第5号，221--241（2008；Zbl 1279.03087） 全文： 内政部