编辑配置文件(在新选项卡中打开) 格里戈里·奥尔霍维科夫。 合著者距离 作者ID: 奥尔霍维科夫.gragity-k 发布日期: 格里戈里·奥尔霍维科夫。;格里戈里·奥尔霍维科夫 已编制索引的文档: 27出版物自2012年起,包括5个附加arXiv预打印 审查活动: 10评论 合著者: 7合著者具有12联合出版物 186位合作作者 全部的 前5名合著者 15 单作者的 5 吉列尔莫·巴迪亚 5 海因里希·西奥多 1 格里戈里·埃弗罗伊莫维奇造币厂 1 大森,Hitoshi 1 彼得·约瑟夫·施罗德·海斯特 1 阿拉斯代尔·厄克哈特 1 赖哈·佐吉法德 全部的 前5名系列 4 符号逻辑述评 三 逻辑与计算杂志 2 哲学逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 IGPL逻辑杂志 1 模糊集与系统 1 符号逻辑杂志 1 逻辑与分析。Nouvelle Série公司 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 应用逻辑杂志 1 澳大利亚逻辑杂志 1 Logicheskie Issledovaniya公司 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 24 数学逻辑和基础(03-XX) 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物被引用52次35文件 引用人▼ 年份▼ 关于扁平化消除规则。 Zbl 1329.03087号 格里戈里·K·奥尔霍维科夫。;彼得·施罗德·海斯特 10 2014 直觉命题公式的模型理论表征。 兹比尔1280.03010 格里戈里·奥尔霍维科夫。 9 2013 常域直觉逻辑中的插值失败。 Zbl 1327.03007号 格里戈里薄荷;格里戈里·奥尔霍维科夫;阿拉斯代尔·厄克哈特 6 2013 STIT想象逻辑的公理系统和表格演算。 兹伯利1436.03114 格里戈里·奥尔霍维科夫。;海因里希·瓦辛 6 2018 直觉谓词公式的模型理论表征。 Zbl 1338.03008号 格里戈里·奥尔霍维科夫。 5 2014 推论作为强词夺理的代理。一: 辩护的基础是逻辑。 Zbl 1532.03020号 格里戈里·奥尔霍维科夫。;海因里希·瓦辛 4 2019 作为经典FOL片段的基本模态直觉主义逻辑的表达能力。 Zbl 1436.03140号 格里戈里·奥尔霍维科夫。 三 2017 STIT想象逻辑的简化表格。 Zbl 1457.03034号 格里戈里·奥尔霍维科夫。;海因里希·瓦辛 2 2019 关于广义van Benthem型刻划。 Zbl 1422.03015号 格里戈里·奥尔霍维科夫。 2 2017 推论作为强词夺理的代理。二: 牺牲和改进。 Zbl 1422.03026号 格里戈里·奥尔霍维科夫。;海因里希·瓦辛 2 2017 直觉命题逻辑的Lindström定理。 Zbl 1484.03073号 吉列尔莫·巴迪亚;格里戈里·奥尔霍维科夫 1 2020 双直觉命题逻辑的极大性。 兹伯利07471448 格里戈里·奥尔霍维科夫;吉列尔莫·巴迪亚 1 2022 关于C。 兹比尔1515.03133 格里戈里·奥尔霍维科夫。 1 2023 关于C。 Zbl 1515.03133号 格里戈里·奥尔霍维科夫。 1 2023 双直觉命题逻辑的极大性。 兹伯利07471448 格里戈里·奥尔霍维科夫;吉列尔莫·巴迪亚 1 2022 直觉命题逻辑的Lindström定理。 Zbl 1484.03073号 吉列尔莫·巴迪亚;格里戈里·奥尔霍维科夫 1 2020 推论作为强词夺理的代理。一: 辩护的基础是逻辑。 Zbl 1532.03020号 格里戈里·奥尔霍维科夫。;海因里希·瓦辛 4 2019 STIT想象逻辑的简化表格。 Zbl 1457.03034号 格里戈里·奥尔霍维科夫。;海因里希·瓦辛 2 2019 STIT想象逻辑的公理系统和表格演算。 Zbl 1436.03114号 格里戈里·奥尔霍维科夫。;海因里希·瓦辛 6 2018 作为经典FOL片段的基本模态直觉主义逻辑的表达能力。 Zbl 1436.03140号 格里戈里·奥尔霍维科夫。 三 2017 关于广义van Benthem型刻划。 Zbl 1422.03015号 格里戈里·奥尔霍维科夫。 2 2017 推论作为强词夺理的代理。二: 牺牲和改进。 Zbl 1422.03026号 格里戈里·奥尔霍维科夫。;海因里希·瓦辛 2 2017 关于扁平化消除规则。 兹比尔1329.03087 格里戈里·奥尔霍维科夫。;彼得·施罗德·海斯特 10 2014 直觉谓词公式的模型论表征。 Zbl 1338.03008号 格里戈里·奥尔霍维科夫。 5 2014 直觉命题公式的模型理论表征。 Zbl 1280.03010号 格里戈里·奥尔霍维科夫。 9 2013 常域直觉逻辑中插值的失败。 Zbl 1327.03007号 格里戈里薄荷;格里戈里·奥尔霍维科夫;阿拉斯代尔·厄克哈特 6 2013 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 8 格里戈里·奥尔霍维科夫。 5 吉列尔莫·巴迪亚 4 彼得·约瑟夫·施罗德·海斯特 4 海因里希·西奥多 2 尼西姆·弗朗西兹 2 阅读,斯蒂芬 2 卢卡·特兰奇尼 1 胡安·巴勃罗·阿奎莱拉 1 纪尧姆拍卖行 1 马提亚斯·巴兹 1 克里斯托弗·巴杜拉 1 吉姆·德·格罗特 1 装配,梅尔文·克里斯 1 亚历山德罗·佐丹尼 1 布鲁诺·哈辛托 1 罗马库兹涅茨 1 帕维尔·G·瑙莫夫。 1 萨拉·内格里 1 大森,Hitoshi 1 佩雷·帕尔多 1 埃迪·巴甫洛维奇 1 马蒂亚·彼得罗洛 1 托马斯·皮埃查 1 保罗·皮斯通 1 丹尼尔·罗内达尔 1 铃木,Nobu-Yuki 1 陶,贾 1 阿拉斯代尔·厄克哈特 1 van Benthem,Johan F.A.K。 1 赖哈·佐吉法德 全部的 前5名10篇连载文章中引用 11 Studia Logica公司 5 符号逻辑述评 4 纯逻辑与应用逻辑年鉴 三 泛逻辑 2 哲学逻辑杂志 2 圣母院形式逻辑杂志 1 合成 1 软计算 1 逻辑与逻辑哲学 1 应用逻辑杂志 在4个字段中引用 35 数学逻辑和基础(03-XX) 2 历史与传记(01-XX) 1 总体主题;集合(00-XX) 1 计算机科学(68至XX) 按年份列出的引文