约翰内斯·马蒂 对于平面中的凸性，条件逻辑是完整的。 （英语） Zbl 1525.03071号 版本符号。日志。 16，第2期，529-552（2023）. 审核人：Xavier父母（维也纳） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Marti}，版本：Symb。日志。16，编号2，529--552（2023；Zbl 1525.03071） 全文： 内政部 arXiv公司
内格里，S。;巴甫洛维奇，E。 代理逻辑的实证分析：审议性STIT。 （英语） 兹伯利07383328 螺柱日志。 109，编号3，473-507（2021）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri}和\textit{E.Pavlović}，研究日志。109，编号3，473--507（2021；Zbl 07383328） 全文： 内政部
玛蒂，约翰内斯;里卡多·皮诺西奥 非单调推论关系和凸几何之间的离散对偶。 （英语） Zbl 1481.03011号 订单 37，第1期，151-171（2020）.MSC公司：03B60号 03B42号 52A01型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Marti}和\textit{R.Pinosio}，第37号令，第1号，151--171（2020年；Zbl 1481.03011） 全文： 内政部
玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂;文森特·里什 条件信念：从邻域语义到序列演算。 （英语） Zbl 1445.03015号 版本符号。日志。 11，第4期，736-779（2018）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Girlando}等人，Rev.Symb。日志。11，第4号，736--779（2018；Zbl 1445.03015） 全文： 内政部
Samuel R.巴斯。（编辑）;罗莎莉，伊姆霍夫（编辑）;乌尔里奇·科伦巴赫（编辑）;迈克尔·拉特扬（编辑） 数理逻辑：证明理论，构造数学。2017年11月5日至11日举行的研讨会摘要。 （英语） 兹比尔1409.00077 Oberwolfach代表。 14，第4期，3121-3183（2017）.MSC公司：00亿05 00B25型 03Fxx公司 03-06 PDF格式BibTeX公司 XML格式引用 \textit｛S.R.Buss｝（编辑）等人，Oberwolfach Rep.14，编号4，3121-3183（2017；Zbl 1409.00077） 全文： 内政部
玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 刘易斯反事实逻辑的标准顺序计算。 （英语） 兹比尔1485.03036 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 272-287 (2016).MSC公司：03B42号 03B45号 05年3月 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Girlando}等人，Lect。注释计算。科学。10021、272--287（2016；Zbl 1485.03036） 全文： 内政部 链接