编辑配置文件（在新选项卡中打开） 米哈伊尔·尼古拉埃维奇·里巴科夫 合著者距离 作者ID: 里巴科夫·米哈伊尔·尼古拉耶维奇 发布日期： 米哈伊尔·里巴科夫;M.N.里巴科夫。;米哈伊尔·尼古拉埃维奇·里巴科夫;雷巴科夫，M。;米哈伊尔·尼古拉耶维奇·里巴科夫 更多。。。较少的 外部链接： ORCID公司·arXiv公司·ResearchGate公司·数学-网络。俄罗斯 编入索引的文档： 43出版物自2000年以来，包括7其他arXiv预打印 合著者： 4位合著者具有23份联合出版物 13位合作作者 全部的 前5名合著者 13 单作者的 17 德米特里·什卡托夫 三 亚历克桑德·瓦西尔·埃维奇·查格罗夫 2 伊琳娜·阿加扎尼安 2 叶卡捷琳娜·亚历山德罗夫娜·科蒂科娃 1 伊戈尔·安纳托尔·戈布诺夫 1 D.塞洛娃。 全部的 前5名系列 7 逻辑与计算杂志 5 Logicheskie Issledovaniya公司 三 IGPL逻辑杂志 2 Studia Logica公司 2 应用非经典逻辑杂志 1 理论计算机科学 1 俄罗斯数学 1 Doklady数学 领域 36 数理逻辑与基础（03-XX） 15 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物被引用98中的次36文件 引用人▼ 年份▼ 证明模态逻辑的PSPACE硬度需要多少变量？ 兹伯利1076.03012 查格罗夫。;M.N.里巴科夫。 18 2003 具有两个变量和一个单元谓词字母的一阶模态逻辑和直觉逻辑的不可判定性。 Zbl 07100699号 米哈伊尔·里巴科夫;德米特里·什卡托夫 11 2019 直觉主义和维瑟基本形式逻辑在有限多变量中的复杂性。 Zbl 1148.03005号 米哈伊尔·里巴科夫 7 2006 对称框架命题模态逻辑有限变量片段的复杂性。 Zbl 1494.03053号 米哈伊尔·里巴科夫;德米特里·什卡托夫 7 2018 直觉命题逻辑及其片段的复杂性。 Zbl 1181.03006号 米哈伊尔·里巴科夫 6 2008 有限多变量命题动态逻辑的复杂性和表达性。 Zbl 1492.03013号 米哈伊尔·里巴科夫;德米特里·什卡托夫 5 2018 受限语言中线性Kripke框架的一阶模态逻辑的算法性质。 Zbl 07398783号 米哈伊尔·里巴科夫;德米特里·什卡托夫 5 2021 受限语言中有限Kripke框架的一阶模态逻辑的算法性质。 Zbl 07285871号 米哈伊尔·里巴科夫;德米特里·什卡托夫 5 2020 EXPTIME-完全逻辑有限变量片段的复杂性。 兹比尔1186.03047 米哈伊尔·里巴科夫 4 2007 产品有限变量片段的复杂性K（K）. Zbl 07332113号 米哈伊尔·里巴科夫;德米特里·什卡托夫 4 2021 受限语言中有限Kripke框架的一阶超直觉逻辑的算法性质。 Zbl 1477.03028号 米哈伊尔·里巴科夫;德米特里·什卡托夫 4 2021 具有有限多个变量的分支和交替时间时序逻辑的复杂性和表达性。 Zbl 1522.03047号 米哈伊尔·里巴科夫;德米特里·什卡托夫 三 2018 相对于一阶可定义的帧类而言，递归可枚举的Kripke完备一阶逻辑是不完备的。 Zbl 1418.03100号 米哈伊尔·雷巴科夫;德米特里·什卡托夫 三 2018 谓词模态逻辑中的递归可枚举性和基本框架可定义性。 Zbl 1515.03106号 米哈伊尔·里巴科夫;德米特里·什卡托夫 三 2020 具有两个变量和一个单体谓词字母的QLTL和QCTL的不可判定性。 Zbl 07642566号 米哈伊尔·里巴科夫;德米特里·什卡托夫 三 2021 部分准谓词逻辑的不可判定性。 Zbl 1494.03076号 米哈伊尔·里巴科夫;德米特里·什卡托夫 2 2022 受限语言中自然数行的一阶模态逻辑的算法性质。 Zbl 07585731号 米哈伊尔·雷巴科夫;德米特里·什卡托夫 2 2020 具有非及物模态逻辑的产品有限变量片段的复杂性。 Zbl 07589718号 米哈伊尔·里巴科夫;德米特里·什卡托夫 2 2022 非经典公式的标准翻译和逻辑的相对可判定性。 Zbl 1013.03010号 M.N.里巴科夫。;查格罗夫。 1 2000 模态谓词逻辑和升序链条件的可枚举性。 Zbl 1031.03038号 M.N.里巴科夫。 1 2001 臂摆动时间的一阶逻辑：关于时间操作符的表达能力。 Zbl 1273.03063号 叶卡捷琳娜·科蒂科娃;米哈伊尔·里巴科夫 1 2013 基本逻辑和形式逻辑可判定性问题的复杂性。 Zbl 1041.03006号 M.N.里巴科夫。 1 2003 部分准谓词逻辑的不可判定性。 Zbl 1494.03076号 米哈伊尔·里巴科夫;德米特里·什卡托夫 2 2022 具有非及物模态逻辑的产品有限变量片段的复杂性。 Zbl 07589718号 米哈伊尔·里巴科夫;德米特里·什卡托夫 2 2022 受限语言中线性Kripke框架的一阶模态逻辑的算法性质。 Zbl 07398783号 米哈伊尔·雷巴科夫;德米特里·什卡托夫 5 2021 产品有限变量片段的复杂性K（K）. Zbl 07332113号 米哈伊尔·里巴科夫;德米特里·什卡托夫 4 2021 受限语言中有限Kripke框架的一阶超直觉逻辑的算法性质。 Zbl 1477.03028号 米哈伊尔·里巴科夫;德米特里·什卡托夫 4 2021 具有两个变量和一个单体谓词字母的QLTL和QCTL的不可判定性。 Zbl 07642566号 米哈伊尔·里巴科夫;德米特里·什卡托夫 三 2021 受限语言中有限Kripke框架的一阶模态逻辑的算法性质。 Zbl 07285871号 米哈伊尔·雷巴科夫;德米特里·什卡托夫 5 2020 谓词模态逻辑中的递归可枚举性和基本框架可定义性。 Zbl 1515.03106号 米哈伊尔·里巴科夫;德米特里·什卡托夫 三 2020 受限语言中自然数行的一阶模态逻辑的算法性质。 Zbl 07585731号 米哈伊尔·里巴科夫;德米特里·什卡托夫 2 2020 具有两个变量和一个单元谓词字母的一阶模态逻辑和直觉逻辑的不可判定性。 Zbl 07100699号 米哈伊尔·里巴科夫;德米特里·什卡托夫 11 2019 对称框架命题模态逻辑有限变量片段的复杂性。 Zbl 1494.03053号 米哈伊尔·里巴科夫;德米特里·什卡托夫 7 2018 具有有限多变量的命题动态逻辑的复杂性和表达性。 Zbl 1492.03013号 米哈伊尔·里巴科夫;德米特里·什卡托夫 5 2018 具有有限多个变量的分支和交替时间时序逻辑的复杂性和表达性。 Zbl 1522.03047号 米哈伊尔·里巴科夫;德米特里·什卡托夫 三 2018 相对于一阶可定义的帧类而言，递归可枚举的Kripke完备一阶逻辑是不完备的。 Zbl 1418.03100号 米哈伊尔·里巴科夫;德米特里·什卡托夫 三 2018 臂摆动时间的一阶逻辑：关于时间操作符的表达能力。 Zbl 1273.03063号 叶卡捷琳娜·科蒂科娃;米哈伊尔·里巴科夫 1 2013 直觉命题逻辑及其片段的复杂性。 Zbl 1181.03006号 米哈伊尔·里巴科夫 6 2008 EXPTIME-完全逻辑有限变量片段的复杂性。 Zbl 1186.03047号 米哈伊尔·里巴科夫 4 2007 直觉主义和维瑟基本形式逻辑在有限多变量中的复杂性。 Zbl 1148.03005号 米哈伊尔·里巴科夫 7 2006 证明模态逻辑的PSPACE硬度需要多少变量？ Zbl 1076.03012号 查格罗夫。;雷巴科夫，M.N。 18 2003 基本逻辑和形式逻辑可判定性问题的复杂性。 Zbl 1041.03006号 M.N.里巴科夫。 1 2003 模态谓词逻辑和升序链条件的可枚举性。 Zbl 1031.03038号 M.N.里巴科夫。 1 2001 非经典公式的标准翻译和逻辑的相对可判定性。 Zbl 1013.03010号 M.N.里巴科夫。;查格罗夫。 1 2000 所有引用出版物 前5名被引用出版物 全部的 前5名49位作者引用 7 米哈伊尔·尼古拉埃维奇·里巴科夫 5 德米特里·什卡托夫 4 安东尼斯·阿奇利奥斯 4 阿南塔·帕德马纳巴 4 拉马努贾姆，R。 三 马丁·蒙德亨克 2 Aceto，卢卡 2 菲利普·巴尔比亚尼 2 阿德里安·弗兰卡兰扎 2 Anna Ingólfsdóttir 2 Joost J.乔斯特恩。 2 廷切夫、廷科 2 van Alten，Clint J。 2 王燕京 1 埃利·阿纳斯塔西亚迪 1 巴托斯·贝德纳西克 1 列夫·贝克莱米舍夫。 1 贝尔科娃，玛尔塔 1 费利克斯·布 1 泽维尔·凯塞多 1 曹飞 1 阿尔穆德娜·科拉西托 1 大卫·费尔南德斯·杜克 1 卫斯理·H·霍利迪。 1 黄忠强 1 拉赫利·贾拉利 1 蒋敏 1 伊曼纽尔·基伦斯基 1 萨瓦斯·科努尔 1 科斯塔斯·库特拉斯。 1 迈克尔·兰皮斯 1 塔德乌兹·利塔克 1 刘、莫 1 马尔科·马吉利乌斯 1 乔治·梅特卡夫 1 瓦利亚Mitsou 1 Onoprienko，Anastasiya A。 1 费多尔·帕霍莫夫。 1 拉斐拉·帕伦塔 1 克里斯托斯·兰苏迪斯 1 罗德里格斯，里卡多·奥斯卡 1 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 1 瓦伦丁·B·谢特曼。 1 星期二，奥利姆弗里茨 1 费利克斯·魏 1 费利克斯·维斯 1 彼得·维特科夫斯基 1 吴，尹 1 周昌乐 全部的 前5名20篇连载文章中引用 5 Studia Logica公司 三 Logicheskie Issledovaniya公司 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 Doklady数学 1 信息处理信件 1 代数与逻辑 1 理论计算机科学 1 算法 1 数学逻辑档案 1 俄罗斯数学 1 计算复杂性 1 逻辑、语言与信息杂志 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 符号逻辑述评 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 34 数理逻辑与基础（03-XX） 20 计算机科学（68至XX） 三 阶、格、有序代数结构（06-XX） 1 群论与推广（20-XX） 按年份列出的引文