德米特里·什卡托夫
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元23年] 伊戈尔·戈布诺夫 , 德米特里·什卡托夫 :
无独立公理集的Solovay系统s的扩展。 Ann.纯粹应用。 日志。 175 ( 第1版,A部分 ) : 103360 ( 2024 ) 2023 [j22] 德米特里·什卡托夫 , 克林特·范·阿尔滕 :
剩余有序群胚普适理论的复杂性。 J.日志。 语言信息。 32 ( 三 ) : 489-510 ( 2023 ) [公元21年] 米哈伊尔·雷巴科夫 , 德米特里·什卡托夫 :
模态命题逻辑和超直觉命题逻辑的复杂性函数和有效性复杂性。 J.日志。 计算。 33 ( 7 ) : 1566-1595 ( 2023 ) [第14条] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
QK4.3和QS4.3的算法属性。 CoRR公司 abs/2307.02800 ( 2023 ) 2022 [公元20年] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
部分拟谓词逻辑的不确定性。 日志。 J.IGPL公司 30 ( 三 ) : 519-533 ( 2022 ) [公元19年] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
具有非及物模态逻辑的产品有限变量片段的复杂性。 J.日志。 计算。 32 ( 5 ) : 853-870 ( 2022 ) [j18] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
更正为:一阶模态逻辑和直觉逻辑的不确定性,两个变量和一个单数谓词字母。 Stud Logica公司 110 ( 2 ) : 597-598 ( 2022 ) [公元17年] 伊戈尔·戈布诺夫 , 德米特里·什卡托夫 :
关于拟正规模态逻辑的独立公理化性。 Stud Logica公司 110 ( 5 ) : 1189-1217 ( 2022 ) [公元16年] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
命题时间逻辑和计算模态逻辑的有限变量片段的复杂性。 西奥。 计算。 科学。 925 : 45-60 ( 2022 ) 2021 [公元15年] 德米特里·什卡托夫 , 克林特·范·阿尔滕 :
带否定的有界分配格的计算复杂性。 Ann.纯粹应用。 日志。 172 ( 7 ) : 102962 ( 2021 ) [公元14年] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
具有K的产物的有限变量片段的复杂性。 J.日志。 计算。 31 ( 2 ) : 426-443 ( 2021 ) [j13] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
受限语言中有限Kripke框架的一阶超直觉逻辑的算法性质。 J.日志。 计算。 31 ( 2 ) : 494-522 ( 2021 ) [公元12年] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
受限语言中线性Kripke框架的一阶模态逻辑的算法性质。 J.日志。 计算。 31 ( 5 ) : 1266-1288 ( 2021 ) [公元11年] 德米特里·什卡托夫 , 克林特·范·阿尔滕 :
更正:模态代数普遍理论的复杂性。 Stud Logica公司 109 ( 5 ) : 1175 ( 2021 ) [i13] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
受限语言中线性Kripke框架的一阶模态逻辑的算法性质。 CoRR公司 abs/2105.11811 ( 2021 ) 2020 [公元10年] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
谓词模态逻辑中的递归可枚举性和基本框架可定义性。 J.日志。 计算。 30 ( 2 ) : 549-560 ( 2020 ) [公元9年] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
受限语言中有限Kripke框架的一阶模态逻辑的算法性质。 J.日志。 计算。 30 ( 7 ) : 1305-1329 ( 2020 ) [j8] 德米特里·什卡托夫 , 克林特·范·阿尔滕 :
模态代数普遍理论的复杂性。 Stud Logica公司 108 ( 2 ) : 221-237 ( 2020 ) [第14条] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
受限语言中自然数线的一阶模态逻辑的算法性质。 AiML公司 2020 : 523-539 [第13条] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
部分准谓词逻辑的计算性质。 SAICSIT公司 2020 : 58-65
2010 – 2019
2019 [j7] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
对称框架命题模态逻辑有限变量片段的复杂性。 日志。 J.IGPL公司 27 ( 1 ) : 60-68 ( 2019 ) [j6] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
二元一元谓词字母一阶模态逻辑和直觉逻辑的不可解性。 Stud Logica公司 107 ( 4 ) : 695-717 ( 2019 ) [第12条] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
具有三个独立变量的经典语言的Trakhtenbrot定理。 帆船赛 2019 : 19:1-19:7 [i12] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
有限多变量命题动态逻辑的复杂性和表达性。 CoRR公司 abs/1901.06407 ( 2019 ) [i11] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
对称框架命题模态逻辑有限变量片段的复杂性。 CoRR公司 abs/1910.02257 ( 2019 ) [i10] 德米特里·什卡托夫 , 克林特·范·阿尔滕 :
有界剩余分配格序群胚的普遍理论的复杂性。 CoRR公司 abs/1910.05556 ( 2019 ) [第九章] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
谓词模态逻辑中的递归可枚举性和基本框架可定义性。 CoRR公司 abs/1911.09473 ( 2019 ) 2018 [j5] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
有限多变量命题动态逻辑的复杂性和表达性。 日志。 J.IGPL公司 26 ( 5 ) : 539-547 ( 2018 ) [第11条] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
关于一阶可定义帧类的递归可枚举Kripke完备一阶逻辑不完备。 模态逻辑的进展 2018 : 531-539 [第10条] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
具有有限多变量的分支和交替时间时序逻辑的复杂性和表达性。 ICTAC公司 2018 : 396-414 【c9】 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
有限多变量命题线性时间逻辑的复杂性。 帆船赛 2018 : 313-316 [i8] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
具有有限多变量的分支和交替时间时序逻辑的复杂性和表达性。 CoRR公司 abs/1810.09142 ( 2018 ) 2017 [i7] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
具有有限多变量的命题线性时间逻辑的复杂性。 CoRR公司 abs/1706.04108 ( 2017 ) [i6] 米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
具有两个变量和一个单元谓词字母的一阶模态逻辑和直觉逻辑的不可判定性。 CoRR公司 腹肌/1706.05060 ( 2017 ) 2013 【j4】 Mai Ajspur公司 , 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
多智能体认知逻辑的基于表的决策过程,所有联合算子用于公共和分布式知识。 日志。 J.IGPL公司 21 ( 三 ) : 407-437 ( 2013 ) 2012 [j3] 娜塔莎·阿列奇纳 , 菲利普·巴尔比亚尼 , 德米特里·什卡托夫 :
模态逻辑,用于对二元关系的无限并集和交集进行推理。 J.应用。 非班级。 逻辑 22 ( 4 ) : 275-294 ( 2012 ) [i5] Mai Ajspur公司 , 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
基于表的多智能体认知逻辑决策过程,所有联合算子用于公共和分布式知识。 CoRR公司 腹肌1201.5346 ( 2012 ) 2011 【c8】 扬·卡尔塔 , 德米特里·什卡托夫 :
不完全信息下同构多智能体系统的综合策略。 CLIMA公司 2011 : 122-138 2010 【c7】 扬·卡尔塔 , 德米特里·什卡托夫 , 伯恩德·霍尔格·施林格洛夫 :
寻找多智能体系统的统一策略。 CLIMA公司 2010 : 135-152
2000 – 2009
2009 [注2] 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
多智能体系统中基于表的战略能力逻辑决策程序。 ACM事务处理。 计算。 日志。 11 ( 1 ) : 3:1-3:51 ( 2009 ) 【c6】 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
线性时间全联盟多智能体时间认知逻辑的基于表的决策过程。 美国原子能机构协会(2) 2009 : 969-976年 【c5】 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
全联合多智能体认识逻辑中基于表的可满足性判定方法。 LFCS公司 2009 : 197-213 【c4】 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
基于表的分支时间全联合多智能体逻辑决策过程。 马洛 2009 【c3】 瓦伦丁·戈兰科 , 安吉洛·基里洛夫 , 德米特里·什卡托夫 :
用于测试LTL中可满足性的Tableau工具:实现和实验分析。 400万 2009 : 113-125 [i4] 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
线性时间全联盟多智能体时间认知逻辑的基于表的决策过程。 CoRR公司 abs/0902.2104 ( 2009 ) [i3] 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
全联盟多智能体认知逻辑中基于表的可满足性判定过程。 CoRR公司 abs/0902.2125 ( 2009 ) 2008 【c2】 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
具有公共和分布式知识算子的多主体认识逻辑的基于表的决策过程。 SEFM公司 2008 : 237-246 [i2] 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
多智能体系统中基于表的战略能力逻辑决策程序。 CoRR公司 abs/0803.2306 ( 2008 ) [i1] 瓦伦丁·戈兰科 , 德米特里·什卡托夫 :
基于表的决策过程,用于具有公共和分布式知识运算符的多智能体认知逻辑。 CoRR公司 abs/0808.4133 ( 2008 ) 2006 [j1] 娜塔莎·阿列奇纳 , 德米特里·什卡托夫 :
证明直觉模态逻辑可判定性的一般方法。 J.应用。 日志。 4 ( 三 ) : 219-230 ( 2006 ) 【c1】 娜塔莎·阿列奇纳 , 德米特里·什卡托夫 :
具有存在形态的逻辑学。 模态逻辑的进展 2006 : 31-48
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)