编辑配置文件（在新选项卡中打开） 马可·巴扎利亚 合著者距离 作者ID： 帕扎利亚·马尔科 发布日期： 马可·巴扎利亚 已编制索引的文档： 2出版物自2016年起 合著者： 2合著者具有2联合出版物 59位合作作者 合著者 0 单作者的 2 安吉洛·蒙塔纳里 2 皮埃特罗·萨拉 系列 1 信息学报 1 理论计算机科学 领域 2 数理逻辑与基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次3文件 引用人▼ 年份▼ 具有等价关系的度量命题邻域逻辑。 Zbl 1350.68185号 安吉洛·蒙塔纳里；马可·巴扎利亚；皮埃特罗·萨拉 2 2016 将一个或多个等价关系添加到区间时态逻辑\（\mathsf｛AB｝\ overline｛\mathsf｛B｝｝｝\）。 Zbl 1408.03011号 安吉洛·蒙塔纳里；马可·巴扎利亚；皮埃特罗·萨拉 1 2016 具有等价关系的度量命题邻域逻辑。 Zbl 1350.68185号 安吉洛·蒙塔纳里；马可·巴扎利亚；皮埃特罗·萨拉 2 2016 将一个或多个等价关系添加到区间时态逻辑\（\mathsf｛AB｝\ overline｛\mathsf｛B｝｝｝\）。 Zbl 1408.03011号 安吉洛·蒙塔纳里；马可·巴扎利亚；皮埃特罗·萨拉 1 2016 全部的 前5名6位作者引用 1 巴托斯·贝德纳西克 1 卡洛·阿尔贝托·福里亚 1 安吉洛·蒙塔纳里 1 皮埃特罗·萨拉 1 鲍拉·斯波莱蒂尼 1 彼得·维特科夫斯基 2篇连载文章中引用 1 理论计算机科学 1 数学与人工智能年鉴 在2个字段中引用 三 数理逻辑与基础（03-XX） 三 计算机科学（68至XX） 按年份列出的引文