阿莱西奥·曼苏蒂 树上的辅助逻辑:关于以可达性和子模型推理为特征的逻辑的高耸性。 (英语) 兹比尔1506.03077 Inf.计算。 285,B部分,文章ID 104911,43 p.(2022).MSC公司:03B70号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mansutti},Inf.计算。285,B部分,文章ID 104911,43 p.(2022;Zbl 1506.03077) 全文: 内政部
斯特凡·德姆里;爱蒂安·洛兹;阿莱西奥·曼苏蒂 无量词分离逻辑的完整公理化。 (英语) Zbl 07407789号 日志。方法计算。科学。 17,第3号,第17号论文,64页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,日志。方法计算。科学。17,第3号,第17号论文,64页(2021;Zbl 07407789) 全文: arXiv公司 链接
阿莱西奥·曼苏蒂 树上的辅助逻辑:关于以可达性和子模型推理为特征的逻辑的高耸性。 (英语) Zbl 1506.03076号 Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议,FOSSACS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12077, 462-481 (2020).MSC公司:03B70号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mansutti},莱克特。注释计算。科学。12077、462--481(2020年;Zbl 1506.03076) 全文: 内政部
阿莱西奥·曼苏蒂 扩展命题分离逻辑以获得鲁棒性。 (英语) Zbl 1528.03151号 Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122,第42条,第23页(2018年)。MSC公司:03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mansutti},LIPIcs——莱布尼茨国际程序。通知。122,第42条,第23页(2018;Zbl 1528.03151) 全文: 内政部