劳拉·博泽利；Angelo蒙塔纳里；阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 （英语） Zbl 07713585号 ACM事务处理。计算。日志。 24，第3号，第24号论文，32页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，ACM Trans。计算。日志。24，第3号，第24号文件，第32页（2023；Zbl 07713585） 全文： 内政部
Angelo蒙塔纳里；马可·巴扎利亚；皮埃特罗·萨拉 具有等价关系的度量命题邻域逻辑。 （英语） Zbl 1350.68185号 学报信息。 53，编号6-8，621-648（2016）.MSC公司：60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，《学报》第53期，第6--8、621--648号（2016年；Zbl 1350.68185） 全文： 内政部 链接
Angelo蒙塔纳里；马可·巴扎利亚；皮埃特罗·萨拉 将一个或多个等价关系添加到区间时态逻辑\（\mathsf｛AB｝\ overline｛\mathsf｛B｝｝｝\）。 （英语） Zbl 1408.03011号 西奥。计算。科学。 629, 116-134 (2016).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，Theor。计算。科学。629、116--134（2016；Zbl 1408.03011） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；Angelo蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 强离散线性序上的区间时序逻辑：表达性和复杂性。 （英语） Zbl 1335.03017号 西奥。计算。科学。 560，第3部分，269-291（2014）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Theor。计算。科学。560，第3部分，269--291（2014；Zbl 1335.03017） 全文： 内政部
大卫·布雷索林；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；Angelo蒙塔纳里；圭多·西亚维科 区间时序逻辑的黑暗面：标记不可判定边界。 （英语） Zbl 1325.03014号 安。数学。Artif公司。智力。 71，编号1-3，41-83（2014）. 审核人：雅罗斯拉夫·什兰科（Kryvyi Rih） MSC公司：03B44号 03天35分 05B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《数学年鉴》。Artif公司。智力。71、编号1--3、41-83（2014；Zbl 1325.03014） 全文： 内政部
大卫·布雷索林；Angelo蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 有限结构、自然数和整数上MPNL的最优决策过程。 （英语） 兹比尔1296.03013 西奥。计算。科学。 493, 98-115 (2013).MSC公司：03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Theor。计算。科学。49398--115（2013；Zbl 1296.03013） 全文： 内政部
大卫·布雷索林；Angelo蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 （英语） Zbl 1333.03006号 Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。人工智能课堂讲稿，73-87（2011）。MSC公司：03B44号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。6793，73--87（2011；Zbl 1333.03006） 全文： 内政部
大卫·布雷索林；瓦伦丁·戈兰科；Angelo蒙塔纳里；圭多·西亚维科 命题区间邻域逻辑：表达性、可判定性和不可判定扩展。 （英语） Zbl 1221.03022号 Ann.纯粹应用。逻辑 161，第3期，289-304（2009）.MSC公司：03B70号 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Ann.Pure Appl。逻辑161，No.3，289--304（2009；Zbl 1221.03022） 全文： 内政部
大卫·布雷索林；Angelo蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 线性序上右命题邻域逻辑的最优表。 （英语） Zbl 1178.03030号 Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学讲义5293。人工智能课堂讲稿，62-75（2008）。MSC公司：03B44号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。注释计算。科学。5293，62-75（2008；Zbl 1178.03030） 全文： 内政部
Angelo蒙塔纳里；马尔滕·德·里杰克 两种排序的度量时态逻辑。 （英语） Zbl 0901.03019号 西奥。计算。科学。 183，第2期，187-214（1997）.MSC公司：03B45 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{M.de Rijke}，Theor。计算。科学。183，编号2，187--214（1997；Zbl 0901.03019） 全文： 内政部
Angelo蒙塔纳里；阿尔贝托，Policriti 度量和分层时序逻辑的可判定性结果。 （英语） Zbl 0858.03018号 圣母院J.形式逻辑 37，第2期，260-282（1996）. 审核人：D.格鲁斯卡（布拉迪斯拉发） MSC公司：03B45 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{A.Policriti}，圣母院J.形式逻辑37，第2期，260--282（1996；Zbl 0858.03018） 全文： 内政部 链接
乔瓦娜·达戈斯蒂诺；Angelo蒙塔纳里；阿尔贝托，Policriti 多模态逻辑的集合理论翻译方法。 （英语） 兹比尔0840.03015 J.汽车。推理 15，第3期，317-337（1995）. 审核人：M.Zakharyaschev（柏林） MSC公司：03B45 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}等人，J.Autom。推理15，No.3，317--337（1995；Zbl 0840.03015） 全文： 内政部