迪米特·瓦卡列洛夫
人员信息
附属: 保加利亚索非亚奥赫里德大学的圣克莱门特
SPARQL查询
优化列表
2020年–今天
2020 [公元41年] 迪米特·瓦卡列洛夫 :
空间和时间的无点理论。 拍打 7 ( 6 ) : 1421-1320 ( 2020 )
2010 – 2019
2017 [j40] 迪米特·瓦卡列洛夫 :
具有实际存在和实际联系谓词的单拓扑。 芬丹。 信息学 156 ( 3-4 ) : 413-432 ( 2017 ) [公元39年] 迪米特·瓦卡列洛夫 :
基于序列代数的单拓扑。 J.应用。 非类别。 逻辑 27 ( 3-4 ) : 342-364 ( 2017 ) [公元25年] 迪米特·瓦卡列洛夫 :
Mereology和Mereotopology(扩展抽象)中的实际存在谓词。 国际JCRS(2) 2017 : 138-157 2016 [j38] 塔季亚娜·伊万诺娃 , 迪米特·瓦卡列洛夫 :
分配半拓扑:扩展分配接触格。 安。数学。 Artif公司。 智力。 77 ( 1-2 ) : 3-41 ( 2016 ) 2012 [公元37年] 尼古拉·伊万诺夫 , 迪米特·瓦卡列洛夫 :
包含全布尔推理的关系三段论系统。 J.日志。 语言信息。 21 ( 4 ) : 433-459 ( 2012 ) [公元36年] 迪米特·瓦卡列洛夫 :
动态模式。 Stud Logica公司 100 ( 1-2 ) : 385-397 ( 2012 ) [公元24年] 迪米特·瓦卡列洛夫 :
动态Mereotopology II:公理化一些Whiteheadean类型的时空逻辑。 模态逻辑的进展 2012 : 538-558 2011 [i2] 尼古拉·伊万诺夫 , 迪米特·瓦卡列洛夫 :
关系逻辑。 CoRR公司 abs/1102.4496 ( 2011 ) 2010 [j35] 迪米特·瓦卡列洛夫 :
动态单拓扑:变化区域的无点理论。 稳定和不稳定的单拓扑关系。 芬丹。 信息学 100 ( 1-4 ) : 159-180 ( 2010 ) [公元34年] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 V.SQEMA的递归扩展。 J.应用。 日志。 8 ( 4 ) : 319-333 ( 2010 ) 【c23】 廷科·廷切夫 , 迪米特·瓦卡列洛夫 :
具有连通谓词的空间逻辑:完全公理化。 模态逻辑的进展 2010 : 434-453 [公元22年] 迪米特·瓦卡列洛夫 :
模态逻辑中算法的可定义性和完备性。 FoIKS公司 2010 : 6-8
2000 – 2009
2009 [公元33年] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 三、 带替换的SQEMA算法的扩展。 芬丹。 信息学 92 ( 4 ) : 307-343 ( 2009 ) 2008 [公元32年] 菲利普·巴尔比亚尼 , 彼得·伊利耶夫 , 迪米特·瓦卡列洛夫 :
具有粗基数n的Pawlak逼近空间的模态逻辑。 芬丹。 信息学 83 ( 4 ) : 451-464 ( 2008 ) [公元31年] 伊沃·丁施 , 温迪·麦考尔 , 迪米特·瓦卡列洛夫 , 迈克尔·温特 :
分布接触晶格:拓扑表示。 J.日志。 代数方法课程。 76 ( 1 ) : 18-34 ( 2008 ) 【c21】 亚沃·尼诺夫 , 迪米特·瓦卡列洛夫 :
表面逻辑关系的模态逻辑。 模态逻辑的进展 2008 : 249-272 2007 【j30】 伊沃·丁施 , 迪米特·瓦卡列洛夫 :
基于区域的离散空间理论:邻近方法。 安。数学。 Artif公司。 智力。 49 ( 1-4 ) : 5-14 ( 2007 ) [公元29年] 菲利普·巴尔比亚尼 , 迪米特·瓦卡列洛夫 :
任意相交的箭头逻辑:在Pawlak信息系统中的应用。 芬丹。 信息学 75 ( 1-4 ) : 1-25 ( 2007 ) [公元28年] 菲利普·巴尔比亚尼 , 廷科·廷切夫 , 迪米特·瓦卡列洛夫 :
基于区域的空间理论的模态逻辑。 芬丹。 信息学 81 ( 1-3 ) : 29-82 ( 2007 ) [j27] 菲利普·巴尔比亚尼 , 廷科·廷切夫 , 迪米特·瓦卡列洛夫 :
离散空间基于区域理论的动态逻辑。 J.应用。 非类别。 逻辑 17 ( 1 ) : 39-61 ( 2007 ) [第2页] 菲利普·巴尔比亚尼 , 瓦伦丁·戈兰科 , 鲁安·凯勒曼 , 迪米特·瓦卡列洛夫 :
初等几何片断的逻辑理论。 空间逻辑手册 2007 : 343-428 2006 [公元26年] 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
初等规范公式:推广Sahlqvist定理。 Ann.纯粹应用。 日志。 141 ( 1-2 ) : 180-217 ( 2006 ) [公元25年] 乔治·迪莫夫 , 迪米特·瓦卡列洛夫 :
接触代数和基于区域的空间理论:邻近方法-I。 芬丹。 信息学 74 ( 2-3 ) : 209-249 ( 2006 ) [公元24年] 乔治·迪莫夫 , 迪米特·瓦卡列洛夫 :
联系代数和基于区域的空间理论:邻近方法-II。 芬丹。 信息学 74 ( 2-3 ) : 251-282 ( 2006 ) [公元23年] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 一、核心算法SQEMA。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) [公元22年] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 二、。 算法SQEMA的多元和混合扩展。 J.日志。 计算。 16 ( 5 ) : 579-612 ( 2006 ) [公元21年] 迪米特·瓦卡列洛夫 :
海伦娜·拉西奥瓦作品中的非经典否定及其对否定理论的影响。 Stud Logica公司 84 ( 1 ) : 105-127 ( 2006 ) [公元20年] 伊沃·丁施 , 温迪·麦考尔 , 迪米特·瓦卡列洛夫 , 迈克尔·温特 :
接触格的拓扑表示。 RelMiCS公司 2006 : 135-147 [i1] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 一、核心算法SQEMA。 CoRR公司 abs/cs/0602024 ( 2006 ) 2005 [公元20年] 迪米特·瓦卡列洛夫 :
尼尔森基于直觉主义否定的弱化版本的否定。 Stud Logica公司 80 ( 2-3 ) : 393-430 ( 2005 ) [第19条] 乔治·迪莫夫 , 迪米特·瓦卡列洛夫 :
预接触代数的拓扑表示。 RelMiCS公司 2005 : 1-16 [第18条] 温迪·麦考尔 , 迪米特·瓦卡列洛夫 :
基于格的准一致逻辑。 RelMiCS公司 2005 : 173-187 [第17条] 迪米特·瓦卡列洛夫 :
Pawlak信息系统中不确定性和相似关系的模态表征。 RSFDGrC(1) 2005 : 12-22 2004 [j19] 菲利普·巴尔比亚尼 , 迪米特·瓦卡列洛夫 :
箭头逻辑的动态扩展。 Ann.纯粹应用。 日志。 127 ( 1-3 ) : 1-15 ( 2004 ) [第16条] 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
基本规范公式:句法、算法和模型综述? 理论方面。 模态逻辑的进展 2004 : 17-51 2003 [公元18年] 菲利普·巴尔比亚尼 , 迪米特·瓦卡列洛夫 :
具有程序交集的PDL:完全公理化。 J.应用。 非类别。 逻辑 13 ( 3-4 ) : 231-276 ( 2003 ) [第15条] 瓦伦丁·戈兰科 , 乌尔里希·赫斯塔特 , 雷娜特·施密特 , 迪米特·瓦卡列洛夫 :
所有Sahlqvist公式的SCAN均已完成。 RelMiCS公司 2003 : 149-162 2002 [公元17年] 菲利普·巴尔比亚尼 , 迪米特·瓦卡列洛夫 :
信息系统中不确定性和互补性的模态逻辑。 芬丹。 信息学 50 ( 3-4 ) : 243-263 ( 2002 ) [公元16年] 迪米特·瓦卡列洛夫 , 乔治·迪莫夫 , 伊沃·丁施 , 布兰登·贝内特 :
一些基于区域的空间理论的邻近方法。 J.应用。 非类别。 逻辑 12 ( 3-4 ) : 527-559 ( 2002 ) [第14条] 迪米特·瓦卡列洛夫 :
命题变量数有限的语言中的模态可定义性和Sahlqvist类的新扩展。 模态逻辑的进展 2002 : 499-518 2001 [公元15年] 菲利普·巴尔比亚尼 , 迪米特·瓦卡列洛夫 :
带交集的无迭代PDL:完全公理化。 芬丹。 信息学 45 ( 三 ) : 173-194 ( 2001 ) [公元14年] 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
混合多元模态逻辑中的Sahlqvist公式。 J.日志。 计算。 11 ( 5 ) : 737-754 ( 2001 ) [第13条] 菲利普·巴尔比亚尼 , 迪米特·瓦卡列洛夫 :
信息系统中不可区分性和互补性的一阶表征和模态分析。 ECSQARU公司 2001 : 772-781 [第12条] 迪米特·瓦卡列洛夫 , 伊沃·丁施 , 布兰登·贝内特 :
关于邻近空间和基于连接的mereology的注释。 鹅肝 2001 : 139-150 2000 [第11条] 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
Sahlqvist公式在多元模态语言中展开。 模态逻辑的进展 2000 : 221-240
1990 – 1999
1999 [j13] 迪米特·瓦卡列洛夫 :
粗糙的多元模态逻辑。 J.应用。 非类别。 逻辑 1 ( 1 ) : 9-35 ( 1999 ) [公元12年] 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
双曲代数和双曲模态逻辑。 J.应用。 非类别。 逻辑 9 ( 2-3 ) : 345-368 ( 1999 ) 1998 [公元11年] 乔治·迪莫夫 , 迪米特·瓦卡列洛夫 :
斯科特后果系统。 芬丹。 信息学 33 ( 1 ) : 43-70 ( 1998 ) [第10条] 菲利普·巴尔比亚尼 , 迪米特·瓦卡列洛夫 :
扩展箭头逻辑。 RelMiCS公司 1998 : 13-17 【c9】 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑与泛代数I:结构的模态公理化。 模态逻辑的进展 1998 : 247-274 1997 [公元10年] 安娜·德内娃 , 迪米特·瓦卡列洛夫 :
局部和全局相似关系的模态逻辑。 芬丹。 信息学 31 ( 3/4 ) : 295-304 ( 1997 ) [公元9年] 菲利普·巴尔比亚尼 , 路易斯·法利尼亚斯·德尔·塞罗 , 廷科·廷切夫 , 迪米特·瓦卡列洛夫 :
关联几何的模态逻辑。 J.日志。 计算。 7 ( 1 ) : 59-78 ( 1997 ) 1996 [j8] 迪米特·瓦卡列洛夫 :
多维箭头逻辑。 J.应用。 非类别。 逻辑 6 ( 4 ) : 303-345 ( 1996 ) 【c8】 迪米特·瓦卡列洛夫 :
超箭头结构。 箭头逻辑~ III。 模态逻辑的进展 1996 : 269-290 【c7】 菲利普·巴尔比亚尼 , 路易斯·法利尼亚斯·德尔·塞罗 , 廷科·廷切夫 , 迪米特·瓦卡列洛夫 :
几何结构和模态逻辑。 FAPR公司 1996 : 43-57 1995 [j7] 迪米特·瓦卡列洛夫 :
Pawlak的知识表示系统和BI结果系统之间的对偶。 Stud Logica公司 55 ( 1 ) : 205-228 ( 1995 ) 【c6】 迪米特·瓦卡列洛夫 :
Pawlak信息系统和双结果系统之间的对偶性及其在某些信息关系的一阶和模态特征描述中的应用。 WOCFAI公司 1995 : 417-428 1992 [j6] 迪米特·瓦卡列洛夫 :
归纳模态逻辑。 芬丹。 信息学 16 ( 3-4 ) : 383-405 ( 1992 ) [j5] 迪米特·瓦卡列洛夫 :
循环重复的模态逻辑。 Inf.计算。 101 ( 1 ) : 103-122 ( 1992 ) [c5] 迪米特·瓦卡列洛夫 :
箭的模态理论。 箭头逻辑I。 杰莉亚 1992 : 1-24 [第1页] 迪米特·瓦卡列洛夫 :
后果关系和信息系统。 智能决策支持 1992 : 391-399 1991 【j4】 迪米特·瓦卡列洛夫 :
pawlak知识表示系统中相似关系的模型逻辑。 芬丹。 信息学 15 ( 1 ) : 61-79 ( 1991 ) [j3] 迪米特·瓦卡列洛夫 :
知识表示系统的模态逻辑。 西奥。 计算。 科学。 90 ( 2 ) : 433-456 ( 1991 )
1980 – 1989
1989 [注2] 迪米特·瓦卡列洛夫 :
一些三值逻辑与信息、对立和次等有关的直观语义。 Stud Logica公司 48 ( 4 ) : 565-575 ( 1989 ) 【c4】 迪米特·瓦卡列洛夫 :
知识表示系统的模态逻辑。 博蒂克的逻辑 1989 : 257-277 1986 【c3】 迪米特·瓦卡列洛夫 :
一些知识表示系统的抽象表征和不确定性信息的逻辑零。 AIMSA公司 1986 : 255-260 1985 [j1] 迪米特·瓦卡列洛夫 :
Rieger-Nishimura公式在直觉模态逻辑中的应用。 Stud Logica公司 44 ( 1 ) : 79-85 ( 1985 ) 1984 【c2】 廷科·廷切夫 , 迪米特·瓦卡列洛夫 :
带有计数器和堆栈的命题动态逻辑。 计算理论研讨会 1984 : 364-374 1980 【c1】 迪米特·瓦卡列洛夫 :
带有测试和逆算子的动态代数的过滤定理。 程序逻辑 1980 : 314-324