编辑配置文件(在新选项卡中打开) 玛丽安娜·吉兰多 合著者距离 作者ID: 小仙人掌 发布日期: 玛丽安娜·吉兰多;M.吉兰多。 已编制索引的文档: 14出版物自2016年起 合著者: 11位合著者具有14份联合出版物 142位合作作者 全部的 前5名合著者 0 单作者的 9 尼古拉·奥利维蒂 5 比约恩·莱尔曼 5 萨拉·内格里 4 吉安·卢卡(Gian Luca),披萨 2 达斯,阿努帕姆 2 文森特·里什 1 蒂齐亚诺·达尔蒙特 1 斯特凡诺·佩西 1 乔治·斯巴多利尼 1 卢茨斯特拉汉堡 1 维塔利斯,昆廷 系列 2 逻辑与计算杂志 1 自动推理杂志 1 符号逻辑述评 领域 11 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用18中的次16文件 引用人▼ 年份▼ 条件信念:从邻域语义到序列演算。 Zbl 1445.03015号 玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂;文森特·里什 4 2018 MOIN:直觉主义模态逻辑(系统描述)的嵌套序列定理证明程序。 Zbl 07614686号 玛丽安娜·吉兰多;卢茨斯特拉汉堡 4 2020 刘易斯反事实逻辑的标准顺序计算。 兹比尔1485.03036 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;Gian Luca波扎托 三 2016 基于邻域语义的优先条件逻辑的统一标记计算。 Zbl 07398778号 玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂 2 2021 具有一致性和自反性的路易斯条件逻辑的超序列计算。 Zbl 1497.03037号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;Gian Luca波扎托 1 2017 VINTE:刘易斯反事实推理逻辑的内部计算实现。 Zbl 1496.68367号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨;维塔利斯,昆廷 1 2017 条件逻辑和反事实逻辑的统一标记计算。 Zbl 1530.03061号 玛丽安娜·吉兰多;萨拉·内格里;乔治·斯巴多利尼 1 2019 循环证明、超序列和传递闭包逻辑。 Zbl 07628206号 达斯,阿努帕姆;玛丽安娜·吉兰多 1 2022 反事实推理强逻辑的演算、反模型生成和定理证明。 Zbl 07486290号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;斯特凡诺·佩西;吉安·卢卡(Gian Luca),披萨 1 2022 循环证明、超序列和传递闭包逻辑。 Zbl 07628206号 达斯,阿努帕姆;玛丽安娜·吉兰多 1 2022 反事实推理强逻辑的演算、反模型生成和定理证明。 Zbl 07486290号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;斯特凡诺·佩西;吉安·卢卡(Gian Luca),披萨 1 2022 基于邻域语义的优先条件逻辑的统一标记演算。 Zbl 07398778号 玛丽安娜·吉兰多;内格里,萨拉;尼古拉·奥利维蒂 2 2021 MOIN:直觉主义模态逻辑(系统描述)的嵌套序列定理证明程序。 Zbl 07614686号 玛丽安娜·吉兰多;卢茨斯特拉汉堡 4 2020 条件逻辑和反事实逻辑的统一标记计算。 Zbl 1530.03061号 玛丽安娜·吉兰多;萨拉·内格里;乔治·斯巴多利尼 1 2019 条件信念:从邻域语义到序列演算。 Zbl 1445.03015号 玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂;文森特·里什 4 2018 具有一致性和自反性的路易斯条件逻辑的超序列计算。 Zbl 1497.03037号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2017 VINTE:刘易斯反事实推理逻辑的内部计算实现。 Zbl 1496.68367号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨;维塔利斯,昆廷 1 2017 刘易斯反事实逻辑的标准顺序计算。 Zbl 1485.03036号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2016 所有引用出版物 前5名被引用出版物 全部的 前5名被30位作者引用 2 约翰内斯·马蒂 1 莫辛·曼沙德·阿巴斯 1 梅丽莎·安东内利 1 安纳托利·彼得罗维奇(AnatoliĭPetrovich) 1 斯特凡诺·邦齐奥 1 科西莫·佩里尼·布罗吉 1 乌戈·达尔拉戈 1 蒂齐亚诺·达尔蒙特 1 达斯,阿努帕姆 1 克莱尔·迪克森 1 安德烈亚斯·费尔斯塔德 1 托马索·弗拉米尼奥 1 玛丽安娜·吉兰多 1 查尔斯·格雷洛 1 乌尔里希·赫斯塔特 1 比约恩·莱尔曼 1 李凯 1 保罗·利伯拉托雷 1 蒂姆·S·里昂。 1 马可·马格西 1 Cláudia Nalon 1 萨拉·内格里 1 尼古拉·奥利维蒂 1 奥兰德利,尤金尼奥 1 法比奥·帕帕奇尼 1 埃迪·巴甫洛维奇 1 里卡多·皮诺西奥 1 保罗·皮斯通 1 朱利亚诺·罗塞拉 1 van Eijck,简 全部的 前5名10篇连载文章中引用 2 Studia Logica公司 2 自动推理杂志 1 人工智能 1 理论计算机科学 1 订单 1 逻辑、语言与信息杂志 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 符号逻辑述评 1 维斯特尼克·乌德穆茨科戈大学。马特马提卡。Mekhanika。Komp'yuternye Nauki公司 在4个字段中引用 9 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 1 凸和离散几何(52至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文