编辑配置文件(在新选项卡中打开) 奥兰德利,尤金尼奥 合著者距离 作者ID: 奥兰德利·尤尼奥 发布方式: 奥兰德利,尤金尼奥 已编制索引的文档: 15出版物自2013年起 合著者: 10位合著者具有12联合出版物 73位合作作者 全部的 前5名合著者 三 单作者的 三 吉多·格拉迪 2 诺伯特·格拉茨 2 保罗·马菲齐奥利 2 萨拉·内格里 1 乔万娜·科尔西 1 朱利奥·费林 1 菲利波·法拉利 1 蒂姆·S·里昂。 1 埃里克·雷德尔 1 泰西,马蒂奥 全部的 前5名系列 4 Studia Logica公司 2 逻辑科公报 1 合成 1 逻辑与计算杂志 1 数学逻辑档案 1 IGPL逻辑杂志 1 逻辑与逻辑哲学 领域 14 数学逻辑和基础(03-XX) 2 计算机科学(68-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用45中的次36文件 引用人▼ 年份▼ 自由量化认知逻辑。 Zbl 1329.03048号 乔瓦娜·科尔西;奥兰德利,尤金尼奥 10 2013 带存在谓词的直觉逻辑的全截消去与插值。 Zbl 1477.03242号 保罗·马菲齐奥利;奥兰德利,尤金尼奥 7 2019 道义逻辑中的证明分析。 Zbl 1445.03028号 奥兰德利,尤金尼奥 5 2014 带有明确描述的量化模态逻辑的标记演算。 Zbl 07398777号 奥兰德利,尤金尼奥 4 2021 连续设置中的双线和声。 Zbl 1418.03168号 诺伯特·格拉茨;奥兰德利,尤金尼奥 4 2017 超昂贵的影响。 Zbl 1500.03006号 吉多·格拉迪;奥兰德利,尤金尼奥 三 2021 非正规模态逻辑和道义逻辑的顺序计算和插值。 Zbl 1517.03018号 奥兰德利,尤金尼奥 三 2021 量化单调模态逻辑的证明理论。 Zbl 1477.03057号 萨拉·内格里;奥兰德利,尤金尼奥 三 2019 一阶逻辑扩展中的插值。 Zbl 1452.03128号 吉多·格拉迪;保罗·马菲齐奥利;奥兰德利,尤金尼奥 三 2020 逻辑性、双线规则和模式。 Zbl 1531.03041号 诺伯特·格拉茨;奥兰德利,尤金尼奥 2 2019 严格蕴涵逻辑的标记序列计算。 兹比尔1531.03045 奥兰德利,尤金尼奥;泰西,马蒂奥 1 2022 严格蕴涵逻辑的标记序列计算。 Zbl 1531.03045号 奥兰德利,尤金尼奥;泰西,马蒂奥 1 2022 带有明确描述的量化模态逻辑的标记计算。 兹比尔07398777 奥兰德利,尤金尼奥 4 2021 超昂贵的影响。 Zbl 1500.03006号 吉多·格拉迪;奥兰德利,尤金尼奥 三 2021 非正规模态逻辑和道义逻辑的顺序计算和插值。 Zbl 1517.03018号 奥兰德利,尤金尼奥 三 2021 一阶逻辑扩展中的插值。 Zbl 1452.03128号 吉多·格拉迪;保罗·马菲齐奥利;奥兰德利,尤金尼奥 三 2020 带存在谓词的直觉逻辑的全截消去与插值。 Zbl 1477.03242号 保罗·马菲齐奥利;奥兰德利,尤金尼奥 7 2019 量化单调模态逻辑的证明理论。 Zbl 1477.03057号 萨拉·内格里;奥兰德利,尤金尼奥 三 2019 逻辑性、双线规则和模式。 Zbl 1531.03041号 诺伯特·格拉茨;奥兰德利,尤金尼奥 2 2019 连续设置中的双线和声。 Zbl 1418.03168号 诺伯特·格拉茨;奥兰德利,尤金尼奥 4 2017 道义逻辑中的证明分析。 Zbl 1445.03028号 奥兰德利,尤金尼奥 5 2014 自由量化认知逻辑。 Zbl 1329.03048号 乔瓦娜·科尔西;奥兰德利,尤金尼奥 10 2013 所有引用出版物 前5名被引用出版物 全部的 前5名42位作者引用 7 奥兰德利,尤金尼奥 6 安德烈·因德泽扎克(Andrzej Indrzejczak) 4 诺伯特·格拉茨 4 埃迪·巴甫洛维奇 三 根纳季什塔克瑟 2 吉多·格拉迪 2 保罗·马菲齐奥利 2 阿南塔·帕德马纳巴 2 埃里克·雷德尔 2 拉马努贾姆,R。 2 王燕京 1 莫辛·曼沙德·阿巴斯 1 安德烈亚斯·阿琴 1 阿米罗申·阿克巴尔·塔巴塔拜 1 安纳托利·彼得罗维奇(AnatoliĭPetrovich) 1 蝉蜕、阿加塔 1 蒂齐亚诺·达尔蒙特 1 博格丹·迪彻 1 菲利波·法拉利 1 伊利莎·弗雷斯基 1 弗朗西斯科·詹科(Francesco A.Genco)。 1 吉尔伯托·戈麦斯 1 罗莎莉,伊姆霍夫 1 拉赫利·贾拉利 1 库尔比斯,尼尔斯 1 比约恩·莱尔曼 1 安德烈斯·奥奇芬蒂·利伯曼 1 蒂姆·S·里昂。 1 安德烈亚·马祖洛 1 Cláudia Nalon 1 萨拉·内格里 1 尼古拉·奥利维蒂 1 大森,Hitoshi 1 德克·帕丁森 1 Rasmus Krmmer Rendsvig 1 丹尼尔·罗内达尔 1 胜彦三野 1 杰里米·塞利格曼。 1 苏佑安 1 海因里希·西奥多 1 Wei,余 1 Micha Zawidzki 全部的 前5名14篇连载文章中引用 8 Studia Logica公司 三 哲学逻辑杂志 2 合成 2 逻辑科公报 2 逻辑与逻辑哲学 1 人工智能 1 纯逻辑与应用逻辑年鉴 1 数学逻辑档案 1 应用非经典逻辑杂志 1 埃尔肯特尼斯 1 ACM计算逻辑事务 1 泛逻辑 1 符号逻辑述评 1 乌德穆尔茨科戈大学。马特马提卡。梅哈尼卡。Komp'yuternye Nauki公司 在3个字段中引用 30 数学逻辑和基础(03-XX) 8 计算机科学(68-XX) 1 历史和传记(01-XX) 按年份列出的引文