编辑配置文件(在新选项卡中打开) 瓦伦丁·B·谢特曼。 合著者距离 作者ID: 谢特曼·瓦伦丁-b 发布日期: 瓦伦丁·谢特曼;谢赫特曼,V.B。;谢特曼,V.B。;瓦伦丁·B·谢特曼。;瓦伦丁·谢赫特曼 更多。。。较少的 外部链接: MGP公司·ORCID公司 编入索引的文档: 41出版物自1977年以来,包括1本书 2作为编辑的贡献 审查活动: 47评论 合著者: 8位合著者具有17联合出版物 377位合作作者 全部的 前5名合著者 25 单作者的 6 加贝,多夫·M。 5 伊利亚·夏皮罗夫斯基。 5 德米特里·斯克沃尔佐夫 2 安德烈·库迪诺夫(Andre Kudinov,Valer'evich) 1 列夫·贝克莱米舍夫。 1 亚历克桑德·瓦西尔·埃维奇·查格罗夫 1 瓦伦丁·F·戈兰科。 1 拉里萨·勒沃夫娜·马克西莫娃 全部的 前5名系列 4 苏联数学。多克拉迪 4 Studia Logica公司 2 俄罗斯数学调查 2 纯逻辑与应用逻辑年鉴 2 逻辑与计算杂志 2 IGPL逻辑杂志 2 塞米奥提卡i Informatika 1 数学笔记 1 马特马提切斯基?扎梅特基 1 符号逻辑杂志 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 应用非经典逻辑杂志 1 Voprosy Kibernetiki(莫斯科) 1 Doklady数学 1 应用逻辑杂志 1 Steklov数学研究所学报 1 逻辑与数学基础研究 全部的 前5名领域 43 数学逻辑和基础(03-XX) 三 相对论与引力理论(83至XX) 2 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用295中的次206文件 引用人▼ 年份▼ 模态逻辑的产物。一、。 Zbl 0902.03008号 加贝,多夫·M。;瓦伦丁·B·谢特曼。 57 1998 非经典逻辑中的量化。第一卷。 Zbl 1211.03002号 加贝,多夫·M。;迪米特里·斯科沃尔佐夫;瓦伦丁·谢特曼 35 2009 “到处”和“这里”。 Zbl 0993.03020号 瓦伦丁·谢特曼 25 1999 闵可夫斯基时空中的时序未来形态。 兹比尔1082.03016 伊利亚州夏皮洛夫斯基;瓦伦丁·谢特曼 16 2003 关于不完备命题逻辑。 Zbl 0412.03011号 谢赫特曼,V.B。 13 1977 二维模态逻辑。 兹比尔0403.03015 谢赫特曼,V.B。 12 1978 实平面上域的模态逻辑。 Zbl 0541.03011号 谢赫特曼,V.B。 12 1983 非经典一阶谓词逻辑的语义。 Zbl 0788.03022号 瓦伦丁·谢赫特曼;德米特里·斯克沃尔佐夫 11 1990 梅德韦杰夫有限问题逻辑的有限公理化是不可能的。 Zbl 0439.03008号 马克西莫娃。;斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 11 1979 具有两个独立变量的模态和中间一阶逻辑的不确定性。 Zbl 0797.0302号 D.M.加巴伊。;谢赫特曼,V.B。 10 1993 模态逻辑的产品。二: 经典逻辑中的相对量词。 Zbl 0970.03025号 加贝,多夫·M。;瓦伦丁·B·谢特曼。 10 2000 具有差异模态的派生模态逻辑。 Zbl 1352.03031号 安德烈·库迪诺夫;瓦伦丁·谢特曼 9 2014 命题逻辑的拓扑模型。 Zbl 0455.03013号 谢赫特曼,V.B。 8 1980 区域和闵可夫斯基时空的模态逻辑。 Zbl 1084.03016号 伊利亚州夏皮洛夫斯基;瓦伦丁·谢特曼 8 2005 模态逻辑的产品。三、 模态逻辑和时序逻辑的产物。 Zbl 1014.03023号 Dov Gabbay公司;瓦伦丁·谢特曼 7 2002 模态谓词逻辑和超直觉谓词逻辑的最大克里普克类型语义。 Zbl 0794.03028号 斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 6 1993 梅德韦杰夫有限问题逻辑的模态对应物是不可有限公理化的。 Zbl 0724.03017号 瓦伦丁·谢赫特曼 5 1990 Rieger-Nishimura晶格。 Zbl 0412.03010号 谢赫特曼,V.B。 5 1978 一种不可判定的超直觉命题演算。 Zbl 0417.03010号 谢赫特曼,V.B。 5 1978 通过相互刺激进行过滤。 Zbl 1102.03021号 瓦伦丁·谢特曼 4 2005 不确定命题演算。 Zbl 0499.03003号 谢赫特曼,V.B。 4 1982 命题时态逻辑的算法方面。 兹比尔1044.03513 亚历山大五世·查格罗夫。;瓦伦丁·B·谢特曼。 三 1995 关于带有附加连接词的模态逻辑方块。 Zbl 1294.03018号 谢特曼,V.B。 三 2011 关于模态逻辑和中间逻辑的强邻域完备性。一、。 Zbl 0913.03024号 瓦伦丁·谢特曼 2 1998 三十年后,关于邻里语义。 Zbl 1272.03102号 瓦伦丁·谢特曼 2 2005 一些克里普克框架的逻辑与梅德韦杰夫的信息类型概念有关。 Zbl 0615.03008号 谢赫特曼,V.B。;斯科沃尔佐夫,D.P。 2 1986 模态逻辑的进展。第8卷。第八届会议记录(AiML 2010),俄罗斯莫斯科,2010年8月24日至27日。 Zbl 1235.03004号 1 2010 对M.K.Rennie的论文“多模态系统的模型”的评论。 Zbl 0382.03016号 谢赫特曼,V.B。 1 1977 一阶模态逻辑中的完全性和不完全性:综述。 Zbl 1141.03313号 瓦伦丁·谢特曼 1 2006 关于汉明空间的模态逻辑。 Zbl 1291.03036号 安德烈·库迪诺夫;伊利亚州夏皮洛夫斯基;瓦伦丁·谢特曼 1 2012 互模拟游戏和局部表格逻辑。 Zbl 1522.03057号 谢特曼,V.B。 1 2016 关于模态谓词逻辑围绕量化的Kripke完备性K5公司. Zbl 1523.03007号 瓦伦丁·谢特曼 1 2023 用密度公理讨论某些模态谓词逻辑的Kripke完备性。 Zbl 1418.03102号 瓦伦丁·谢特曼 1 2018 模态逻辑的Segerberg平方和关系代数理论。 Zbl 1429.03086号 瓦伦丁·谢特曼 1 2018 带有附加连接词的模态逻辑的平方。 Zbl 1270.03041号 舍特曼,V.B。 1 2012 无传递性的局部表格。 Zbl 1400.03051号 伊利亚州夏皮罗夫斯基;瓦伦丁·谢特曼 1 2016 关于模态谓词逻辑围绕量化的Kripke完备性K5公司. 兹比尔1523.03007 瓦伦丁·谢特曼 1 2023 用密度公理讨论某些模态谓词逻辑的Kripke完备性。 Zbl 1418.03102号 瓦伦丁·谢特曼 1 2018 模态逻辑的Segerberg平方和关系代数理论。 兹比尔1429.03086 瓦伦丁·谢特曼 1 2018 互模拟游戏和局部表格逻辑。 Zbl 1522.03057号 谢特曼,V.B。 1 2016 无传递性的局部表格。 Zbl 1400.03051号 伊利亚州夏皮罗夫斯基;瓦伦丁·谢特曼 1 2016 具有差异模态的派生模态逻辑。 Zbl 1352.03031号 安德烈·库迪诺夫;瓦伦丁·谢特曼 9 2014 关于汉明空间的模态逻辑。 Zbl 1291.03036号 安德烈·库迪诺夫;伊利亚州夏皮洛夫斯基;瓦伦丁·谢特曼 1 2012 带有附加连接词的模态逻辑的平方。 Zbl 1270.03041号 谢特曼,V.B。 1 2012 关于带有附加连接词的模态逻辑方块。 Zbl 1294.03018号 谢特曼,V.B。 三 2011 模态逻辑的进展。第8卷。第八届会议记录(AiML 2010),俄罗斯莫斯科,2010年8月24日至27日。 Zbl 1235.03004号 1 2010 非经典逻辑中的量化。第一卷。 Zbl 1211.03002号 加贝,多夫·M。;迪米特里·斯科沃尔佐夫;瓦伦丁·谢特曼 35 2009 一阶模态逻辑中的完全性和不完全性:综述。 Zbl 1141.03313号 瓦伦丁·谢特曼 1 2006 区域和闵可夫斯基时空的模态逻辑。 兹比尔1084.03016 伊利亚州夏皮洛夫斯基;瓦伦丁·谢特曼 8 2005 通过相互模拟进行过滤。 Zbl 1102.03021号 瓦伦丁·谢特曼 4 2005 三十年后,关于邻里语义。 兹比尔1272.03102 瓦伦丁·谢特曼 2 2005 闵可夫斯基时空中的时序未来形态。 Zbl 1082.03016号 伊利亚州夏皮罗夫斯基;瓦伦丁·谢特曼 16 2003 模态逻辑的产品。III、 模态逻辑和时间逻辑的产物。 Zbl 1014.03023号 Dov Gabbay公司;瓦伦丁·谢特曼 7 2002 模态逻辑的产品。二: 经典逻辑中的相对量词。 Zbl 0970.03025号 加贝,多夫·M。;瓦伦丁·B·谢特曼。 10 2000 “到处”和“这里”。 Zbl 0993.03020号 瓦伦丁·谢特曼 25 1999 模态逻辑的产品。一、。 Zbl 0902.03008号 加贝,多夫·M。;瓦伦丁·B·谢特曼。 57 1998 模态逻辑和中间逻辑的强邻域完备性。一、。 Zbl 0913.03024号 瓦伦丁·谢特曼 2 1998 命题时态逻辑的算法方面。 Zbl 1044.03513号 亚历山大五世·查格罗夫。;瓦伦丁·B·谢特曼。 三 1995 具有两个独立变量的模态和中间一阶逻辑的不确定性。 Zbl 0797.0302号 D.M.加巴伊。;谢赫特曼,V.B。 10 1993 模态谓词逻辑和超直觉谓词逻辑的最大克里普克类型语义。 Zbl 0794.03028号 斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 6 1993 非经典一阶谓词逻辑的语义。 Zbl 0788.03022号 瓦伦丁·谢赫特曼;德米特里·斯克沃尔佐夫 11 1990 梅德韦杰夫有限问题逻辑的模态对应物是不可有限公理化的。 Zbl 0724.03017号 瓦伦丁·谢赫特曼 5 1990 一些克里普克框架的逻辑与梅德韦杰夫的信息类型概念有关。 Zbl 0615.03008号 谢赫特曼,V.B。;斯科沃尔佐夫,D.P。 2 1986 实平面上域的模态逻辑。 Zbl 0541.03011号 谢赫特曼,V.B。 12 1983 不确定命题演算。 Zbl 0499.03003号 谢赫特曼,V.B。 4 1982 命题逻辑的拓扑模型。 Zbl 0455.03013号 谢赫特曼,V.B。 8 1980 梅德韦杰夫有限问题逻辑的有限公理化是不可能的。 Zbl 0439.03008号 马克西莫娃。;斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 11 1979 二维模态逻辑。 Zbl 0403.03015号 谢赫特曼,V.B。 12 1978 Rieger Nishimura晶格。 Zbl 0412.03010号 谢赫特曼,V.B。 5 1978 一种不可判定的超直觉命题演算。 Zbl 0417.03010号 谢赫特曼,V.B。 5 1978 关于不完备命题逻辑。 兹伯利0412.03011 谢赫特曼,V.B。 13 1977 对M.K.Rennie的论文“多模态系统的模型”的评论。 Zbl 0382.03016号 谢赫特曼,V.B。 1 1977 所有引用出版物 前5名被引用出版物 全部的 前5名202位作者引用 14 迈克尔·维克托洛维奇(Michael Viktorovich) 13 古拉姆·贝扎尼什维利 10 弗兰克·沃尔特 9 阿吉·库鲁茨 7 瓦伦丁·B·谢特曼。 6 Gabelaia,大卫 6 阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 5 菲利普·巴尔比亚尼 5 大卫·费尔南德斯·杜克 5 斯坦尼斯拉夫·基科特 5 菲利普·克雷默 5 伊利亚·夏皮罗夫斯基。 5 德米特里·斯克沃尔佐夫 5 铃木,Nobu-Yuki 4 Bezhanishvili,尼克 4 罗伯特·伊恩·戈德布拉特 4 伊恩·马丁·霍德金森 4 安吉洛·蒙塔纳里 4 米哈伊尔·尼古拉埃维奇·里巴科夫 三 亚历克桑德·瓦西尔·埃维奇·查格罗夫 三 迪克·乔恩。 三 Ingo Felscher公司 三 加贝,多夫·M。 三 西尔维奥·吉拉尔迪 三 瓦伦丁·F·戈兰科。 三 盖尼斯·扎兰 三 克里斯托弗·汉普森 三 罗莎莉,伊姆霍夫 三 阿纳斯塔西娅·瓦列尔埃夫纳·卡彭科 三 Kohei的Kishida 三 阿南塔·帕德马纳巴 三 拉马努贾姆,R。 三 德米特里·苏斯特列托夫 2 马可·艾略 2 阿雷塞斯,卡洛斯 2 列夫·贝克莱米舍夫。 2 弗朗西斯科·贝拉迪内利 2 大卫·布雷索林 2 Stéphane P.德姆里。 2 科斯塔·多森 2 彼得·弗里茨 2 梅·盖尔克 2 Gougeon,昆廷 2 罗宾·赫希 2 尼尔·肯尼迪 2 马里兰州阿基尔汗 2 奥利弗·库茨 2 刘芬荣 2 卢塞罗·布莱恩,乔尔·格雷戈里 2 拉里萨·勒沃夫娜·马克西莫娃 2 塞尔吉奥·马塞利诺 2 皮埃特罗·萨拉 2 胜彦三野 2 雷娜特·施密特(Renate A.Schmidt)。 2 圭多·西亚维科 2 德米特里·什卡托夫 2 尼科·斯特罗巴赫 2 十个Cate,Balder David 2 沃尔夫冈·托马斯 2 蒂什科夫斯基,德米特里 2 迪米特·瓦卡雷洛夫 2 约翰·范·本特姆。 2 王燕京 2 杨恩斯克 2 赖哈·佐吉法德 1 卡梅尔·阿迪 1 亚历山德罗·阿韦隆 1 史蒂夫·阿沃迪 1 马提亚斯·巴兹 1 吉列尔莫·巴迪亚 1 亚历山大·巴尔塔格 1 莫华·班纳吉 1 Michael A.Benedikt。 1 贝内维特斯,马里奥·R·F·。 1 帕特里克·布莱克本 1 伊莎贝尔·布洛赫 1 米兰博伊奇 1 劳拉·博泽利 1 克里斯蒂娜·莱菲斯特·布兰特利 1 Broersen,Jan M。 1 埃里卡·卡拉多 1 卡洛斯·卡莱罗 1 卢卡·卡莱 1 曹飞 1 AlekseĭVyacheslav Chernov 1 奇日科夫,A.S。 1 Ivano A.Ciardelli。 1 汉斯·德·尼维尔 1 黛拉·莫妮卡,达里奥 1 Deters,摩根 1 巴勃罗·多皮科 1 沃伊切赫·Dzik 1 佛罗伦萨,卡米洛 1 马丁·菲舍尔 1 装配,梅尔文·克里斯 1 法语、罗汉语 1 奥利维尔·盖斯克特 1 乔伊格登·根瑟 1 康斯坦丁诺斯·乔治托斯 1 苏加塔·戈什 …还有102位作者 全部的 前5名引用于41个系列 32 Studia Logica公司 19 纯逻辑与应用逻辑年鉴 12 符号逻辑综述 11 符号逻辑杂志 10 代数与逻辑 7 哲学逻辑杂志 6 ACM计算逻辑事务 5 数学笔记 5 合成 5 符号逻辑公报 4 圣母院形式逻辑杂志 4 逻辑、语言与信息杂志 4 应用非经典逻辑杂志 4 数学与人工智能年鉴 4 应用逻辑杂志 4 Logicheskie Issledovaniya逻辑 三 理论计算机科学 三 数学逻辑档案 三 泛逻辑 2 人工智能 2 信息传输问题 2 逻辑科公报 2 Indagationes Mathematicae公司。新系列 2 数学逻辑季刊(MLQ) 2 计算机科学中的逻辑方法 2 科学史与哲学研究。第二部分近代物理史与哲学研究 2 程序设计中的逻辑和代数方法杂志 1 代数普遍性 1 信息科学 1 西伯利亚数学杂志 1 信息与计算 1 国际近似推理杂志 1 SIAM离散数学杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 Izvestiya:数学 1 Doklady数学 1 埃尔肯特尼斯 1 数学逻辑杂志 1 多值逻辑与软计算杂志 1 Steklov数学研究所学报 全部的 前5名17个字段中引用 196 数学逻辑和基础(03-XX) 43 计算机科学(68至XX) 17 一般拓扑结构(54至XX) 14 阶、格、有序代数结构(06-XX) 6 相对论与引力理论(83至XX) 4 总体主题;集合(00-XX) 三 组合数学(05-XX) 三 范畴理论;同调代数(18-XX) 2 历史和传记(01-XX) 2 一般代数系统(08-XX) 2 几何图形(51至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 群论与推广(20-XX) 1 动力系统和遍历理论(37至XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 1 量子理论(81-XX) 按年份列出的引文