编辑配置文件(在新选项卡中打开) 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 合著者距离 作者ID: 雷巴科夫拉迪米尔·弗拉基米罗维奇 发布日期: 里巴科夫,V.V。;弗拉基米尔·里巴科夫。;弗拉基米尔·里巴科夫;里巴科夫,V。;弗拉基米尔·弗拉迪米洛维奇·里巴科夫 更多。。。较少的 主页: http://math.sfu-kras.ru/node/303 外部链接: MGP公司·ORCID公司·谷歌学者·ResearchGate研究之门·数学-网络。俄罗斯·数据库许可证 已编制索引的文档: 136出版物自1975年以来,包括1本书 审查活动: 29评论 合著者: 39位合著者具有36联合出版物 557位联合作者 全部的 前5名合著者 100 单作者的 7 梅赫迈特·特齐勒 5 谢尔盖·巴本尼舍夫 5 乔伊格登·根瑟 5 弗拉基米尔·罗斯季斯拉夫维奇 4 谢尔盖·奥丁佐夫。 4 奥尼尔,塔辛 三 安娜·弗拉基米洛夫娜·科舍列娃 三 里马茨基、维塔利、瓦伦蒂诺维奇 2 斯蒂芬·伊戈列维奇·巴什马科夫 2 埃里卡·卡拉多 2 米哈伊尔·戈洛瓦诺夫一世。 2 拉里萨·勒沃夫娜·马克西莫娃 1 Pavel Evgenievich,阿列夫 1 谢尔盖·五·巴本尼舍夫。 1 O.V.波哥波尔斯基。 1 瓦莱里·阿夫迪维奇·丘尔金 1 尤里·埃尔肖夫(Yuri Ershov)ĭ列奥尼多维奇(Leonidovich) 1 费多里欣,B.R。 1 菲尔尤林,A.S。 1 贡查罗夫,谢尔盖·萨沃斯特·亚诺维奇 1 康斯坦丁·维肯特·埃维奇·格雷科维奇 1 Khramtsov,D.G。 1 亚历山德拉·N·卢坎楚克。 1 维克托·达尼洛维奇·马祖罗夫 1 迈克尔·亚历山德罗维奇(Michael Alexandrovich Moor) 1 安德烈·谢尔盖维奇·莫罗佐夫 1 迪米特里·埃夫根·埃维奇·帕尔库诺夫 1 尼基塔·阿列克桑德罗维奇·普罗琴科 1 瓦迪姆·普扎伦科。 1 维塔利·雷马兹基 1 Rimatksi公司。 1 Ryaskin,A.N。 1 康斯坦丁·列奥尼多维奇·里奇科夫 1 雷娜特·施密特(Renate A.Schmidt)。 1 塔·马诺夫,伊斯坎德·阿萨诺维奇 1 特齐勒,M。 1 蒂什科夫斯基,德米特里 1 安德烈·维克托洛维奇·瓦西尔耶夫 1 尤拉索娃,E.M。 全部的 前5名系列 15 代数与逻辑 11 逻辑科公报 9 IGPL逻辑期刊 8 代数i Logika 8 西伯利亚数学杂志 8 SibirskieÈlektronnye Matematicheskie Izvestiya公司 6 逻辑与计算杂志 5 西伯利亚联邦大学学报。数学和物理 4 Studia Logica公司 4 纯逻辑与应用逻辑年鉴 4 数学逻辑季刊(MLQ) 三 数学笔记 三 符号逻辑杂志 三 苏联数学。消息报 三 苏联数学。多克拉迪 三 应用非经典逻辑杂志 2 Matematicheskie扎梅特基 2 西比尔斯基?马特马提切斯基?朱纳尔 2 数学逻辑档案 2 伊尔库茨科戈大学。马特马提卡丝里亚 1 信息科学 1 圣母院形式逻辑杂志 1 理论计算机科学 1 西伯利亚数学进步 1 苏联数学 1 计算系统理论 1 计算机基础理论 1 洛巴切夫斯基数学杂志 1 逻辑与逻辑哲学 1 塞米奥提卡i Informatika 1 逻辑与数学基础研究 1 泛逻辑 全部的 前5名领域 132 数学逻辑和基础(03-XX) 30 计算机科学(68至XX) 9 一般代数系统(08-XX) 4 阶、格、有序代数结构(06-XX) 1 历史和传记(01-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 99出版物有被引用735中的次222文件 引用人▼ 年份▼ 逻辑推理规则的可接受性。 Zbl 0872.0302号 里巴科夫,V.V。 109 1997 模态系统S4和直觉逻辑中规则的可接受性准则。 Zbl 0598.03013号 里巴科夫,V.V。 41 1984 正规模态逻辑的格。 Zbl 0315.02027号 马克西莫娃,L.L。;里巴科夫,V.V。 29 1975 直觉逻辑的带参数推理规则。 Zbl 0788.03007号 弗拉基米尔·雷巴科夫。 28 1992 线性时序逻辑,具有直到和下一个逻辑顺序。 邮编1147.03008 里巴科夫,V。 26 2008 离散线性时序逻辑中的逻辑顺序。 Zbl 1110.03010号 里巴科夫,V.V。 26 2005 线性时序逻辑LTL:可接受规则的基础。 Zbl 1233.03026号 谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 23 2011 逻辑S4和Int的容许规则的基础。 兹伯利0598.03014 里巴科夫,V.V。 20 1985 模态系统Grz和直觉命题演算中的替换和可容许性问题。 Zbl 0709.03009号 里巴科夫,V.V。 20 1990 构建模态系统S4中允许的规则的明确基础。 Zbl 0992.03027号 弗拉基米尔·里巴科夫。 19 2001 次协调极小Johanssons逻辑J和正直觉逻辑的统一和可容许规则。 Zbl 1323.03029号 谢尔盖·奥丁佐夫;弗拉基米尔·里巴科夫 18 2013 非传递线性时间逻辑和逻辑知识运算。 Zbl 1403.03028号 弗拉基米尔·里巴科夫。 17 2016 线性时态逻辑\({\mathcal{LTL}}_K\)由多代理逻辑\(\text)扩展{K} _n(n)\)使用交互代理。 Zbl 1208.03023号 弗拉基米尔·里巴科夫 13 2009 一篇关于模态逻辑的统一和推理规则的文章。 Zbl 0952.03019号 里巴科夫,V.V。;特齐勒,M。;Gencer,C。 12 1999 遗传结构完整的模态逻辑。 Zbl 0836.03014号 里巴科夫,V.V。 11 1995 线性时序逻辑LTL中的统一。 Zbl 1241.03014号 谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 10 2011 关于可容许规则的有限模型性质。 Zbl 0938.03033号 弗拉基米尔·里巴科夫。;弗拉基米尔·基亚特金。;奥尼尔,塔辛 10 1999 精炼的公共知识逻辑或公共信息逻辑。 Zbl 1030.03015号 里巴科夫,V.V。 10 2003 直觉逻辑IPC的容许规则的半约简形式的基础。 Zbl 0955.03037号 弗拉基米尔·里巴科夫。;梅赫迈特·特齐勒;维塔利·雷马兹基 10 2000 线性时间逻辑,具有整数上的直到和之前,决定算法。 Zbl 1185.03022号 里巴科夫,V。 10 2006 模态可证明逻辑中带参数推理的逻辑方程和容许规则。 Zbl 0729.03012号 里巴科夫,V.V。 10 1990 通过交互代理进行知识和发现的逻辑-真实和可满足语句的决策算法。 Zbl 1179.68151号 弗拉基米尔·里巴科夫 10 2009 具有通用公式的多模和时态逻辑——将可容许性简化为有效性和统一性。 兹比尔1149.03017 里巴科夫,V。 10 2008 具有多值的多代理时序逻辑。 Zbl 1469.03047号 里巴科夫,V.V。 10 2018 表前模态逻辑的可容许规则。 Zbl 0489.03005号 里巴科夫,V.V。 9 1981 有限区间不及物时间线性逻辑中的逻辑序列。 Zbl 1091.03002号 弗拉基米尔·里巴科夫 9 2005 S4中检查规则可接受性的表方法。 Zbl 1345.03033号 谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫;雷娜特·施密特(Renate A.Schmidt)。;蒂什科夫斯基,德米特里 9 2010 非传递时间多智能体逻辑、信息和知识、决策算法。 Zbl 1420.03060号 弗拉基米尔·里巴科夫。 9 2017 包含S4.3的逻辑的允许规则。 兹伯利0582.03009 里巴科夫,V.V。 7 1984 线性时序逻辑中的投影公式和统一{长期贷款}_{U} \)。 Zbl 1342.03017号 弗拉基米尔·里巴科夫 7 2014 过去丢失世界的时间多值逻辑。 Zbl 1436.03154号 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 7 2018 写出线性时序逻辑中的统一器。 Zbl 1259.03029号 弗拉基米尔·里巴科夫。 7 2012 模态系统Grz和直觉逻辑中可容许性的可判定性。 Zbl 0624.03009号 里巴科夫,V.V。 6 1987 将时间代理逻辑分支,通过简化形式的规则解决可满足性问题。 Zbl 1436.03126号 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 6 2019 模态系统Grz和直觉逻辑的容许规则的基础。 Zbl 0617.03007号 里巴科夫,V.V。 5 1987 层有限逻辑中可容许性问题的可判定性。 Zbl 0576.03012号 里巴科夫,V.V。 5 1984 逻辑S4的非紧凑扩展。 兹比尔0406.03039 里巴科夫,V.V。 5 1977 基于与共同过去平行时间的非自时间逻辑。决定算法。 Zbl 1132.03324号 里巴科夫,V。 5 2007 知识的多模态逻辑和线性时间LTK的公理化。 Zbl 1134.03011号 埃里卡·卡拉多;弗拉基米尔·里巴科夫。 5 2007 基于线性时态逻辑LTL的局部公共知识混合逻辑的可判定性。 Zbl 1142.03323号 谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 5 2008 自由拓扑布尔代数中的方程。 Zbl 0624.03007号 里巴科夫,V.V。 5 1986 具有普遍形式和可容许连续性的逻辑学。 Zbl 1186.03048号 弗拉基米尔·里巴科夫 5 2007 在直觉逻辑中为具有系数的公式写出统一符。 Zbl 1277.03004号 弗拉基米尔·里巴科夫。 5 2013 带系数公式的传递模态逻辑的统一性(元变量)。 Zbl 1278.03050号 弗拉基米尔·里巴科夫 5 2013 格列文科定理及其应用的模态模拟。 Zbl 0788.03020号 里巴科夫,V.V。 4 1992 模态逻辑的统一和被动推理规则。 Zbl 1040.03014号 里巴科夫,V.V。;特齐勒,M。;Gencer,C。 4 2000 传递时态逻辑中允许的规则{T}(T)_{\mathrm(马特姆){S} 4个}\),充分条件。 Zbl 1209.03011号 弗拉基米尔·里巴科夫 4 2010 线性离散时间多智能体逻辑中的投影公式和统一。 Zbl 1390.03019号 斯捷潘·伊戈列维奇;安娜·弗拉基米洛夫娜·科舍列娃;弗拉基米尔·里巴科夫 4 2016 具有非传递时间的线性时序逻辑,可判定性算法和可容许性验证。 Zbl 1429.03074号 弗拉基米尔·里巴科夫。 4 2018 表前逻辑中可接受规则的独立基础。 Zbl 0956.03024号 里巴科夫,V。;V.基亚特金。;特齐勒,M。 三 1999 模态逻辑的准特征推理规则。 Zbl 0887.03014号 弗拉基米尔·里巴科夫。 三 1997 结合时间和知识,语义方法。 Zbl 1117.03021号 E.卡拉多。;里巴科夫,V。 三 2005 分支时间逻辑\(\mathcal{BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}})_{\alpha}\)与运算直到和自基于整数束、逻辑序列、判定算法。 Zbl 1148.03011号 里巴科夫,V。 三 2008 自由拓扑布尔代数和伪布尔代数的基本理论。 Zbl 0593.03041号 里巴科夫,V.V。 三 1985 模态系统S4中允许的规则的明确基础。 Zbl 0961.03021号 弗拉基米尔·里巴科夫。 三 1999 漂亮模态逻辑的可接受规则。 Zbl 0496.03008号 里巴科夫,V.V。 三 1982 推理规则可受理性的标准。具有分支特性的模态和中间逻辑。 Zbl 0807.03016号 弗拉基米尔·里巴科夫。 三 1994 逻辑S4的遗传有限公理化扩展。 Zbl 0358.02022号 里巴科夫,V.V。 三 1977 传递模态逻辑中的最佳统一者。 Zbl 1247.03029号 弗拉基米尔·里巴科夫。 三 2011 有限模态代数的拟恒等式的基。 Zbl 0507.08005号 里巴科夫,V.V。 三 1982 非敏感时间多智能体的逻辑、知识和不确定性、合理性。 Zbl 1474.68340号 弗拉基米尔·里巴科夫 三 2016 纳尔逊逻辑中的推理规则,可容许性和弱可容许性。 Zbl 1336.03036号 谢尔盖·奥丁佐夫;弗拉基米尔·里巴科夫 三 2015 具有多智能体关系的知识的线性时序逻辑中的非均匀性。 Zbl 1390.03020号 斯蒂芬·伊戈列维奇·巴什马科夫;安娜·弗拉基米洛夫娜·科舍列娃;弗拉基米尔·里巴科夫 三 2016 甚至表格模态逻辑有时也没有独立的可接受规则基础。 Zbl 0847.03014号 弗拉基米尔·里巴科夫。 2 1995 关于模态逻辑和超直觉逻辑的全局可容许推理规则的注记。 Zbl 1117.03024号 Rimatksi公司。;里巴科夫,V.V。 2 2005 自由拓扑布尔代数中的方程和替换问题。 Zbl 0607.06008号 里巴科夫,V.V。 2 1986 莫代尔Logiken mit LM-Axiomen。 Zbl 0417.03007号 里巴科夫,V.V。 2 1978 公共知识逻辑的统一。 Zbl 1036.03012号 里巴科夫,V.V。 2 2002 可容许和替换问题,自由代数的逻辑方程和限制理论。 Zbl 0691.03012号 里巴科夫,V.V。 2 1989 保留Heyting演算的可容许推理规则的中间逻辑。 Zbl 0807.03017号 弗拉基米尔·雷巴科夫。 2 1993 逻辑S4的非紧凑扩展。 Zbl 0413.03013号 里巴科夫,V.V。 2 1978 由时间状态本身生成的具有可访问性时间关系的时间逻辑。 Zbl 1437.03081号 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 2 2020 自由生成元的常数扩展签名中自由伪布尔代数(F_\omega{}(H))的普适理论。 Zbl 0767.03007号 里巴科夫,V.V。 1 1992 推理规则没有有限基的表逻辑。 Zbl 1073.03012号 雷巴科夫,V。 1 2004 模态逻辑中推理规则和逻辑方程的可容许性公理化可证明性。 Zbl 0766.03012号 里巴科夫,V.V。 1 1990 直觉命题演算中带参数推理规则的可接受性准则。 Zbl 0743.03037号 里巴科夫,V.V。 1 1990 模态系统Grz和直觉逻辑中逻辑方程的可解性。 Zbl 0742.03005号 里巴科夫,V.V。 1 1991 在与S4类似的逻辑中保持推理规则的可接受性。2 Zbl 1010.03011号 里巴科夫,V.V。;V.V.里马茨基。 1 2002 漂亮逻辑中可接受规则的独立基础。 Zbl 0953.03032号 里巴科夫,V.V。;V.R.基亚特金。;特齐勒,M。 1 2000 深度受限的刚性框架结构2。 Zbl 0965.03025号 里巴科夫,V.V。;Oner,T。 1 1998 对应于非经典逻辑的自由代数簇的基本理论。 兹比尔0853.03012 弗拉基米尔·里巴科夫。 1 1996 具有交互代理的时态逻辑。可判定性:定理和可容许规则。 Zbl 1181.03016号 弗拉基米尔·里巴科夫 1 2008 模态逻辑和直觉逻辑中推理规则的可接受性标准。 Zbl 0596.03025号 里巴科夫,V.V。 1 1985 逻辑S4的可判定非紧扩展。 Zbl 0415.03012号 里巴科夫,V.V。 1 1979 容许推理规则的剩余有限性。 兹伯利0989.03015 里巴科夫,V.V。;V.R.基亚特金。;Oner,T。 1 2001 继承S4允许规则的模态逻辑的描述。 Zbl 0942.03031号 里巴科夫,V.V。;Gencer,C。;Oner,T。 1 1999 模态逻辑保持S4推理规则的可容许性。 Zbl 1044.03515号 弗拉基米尔·雷巴科夫。 1 1995 关于自容许准特征化推理规则。 Zbl 0969.03032号 里巴科夫,V.V。;特齐勒,M。;Gencer,C。 1 2000 带有LM-axioms的模态逻辑。 Zbl 0427.03013号 里巴科夫,V.V。 1 1979 具有前缀宽度的模态逻辑的完整性。 Zbl 0504.03008号 里巴科夫,V.V。 1 1983 逻辑S4和Int中允许推理规则的语义准则。 Zbl 0729.03013号 里巴科夫,V.V。 1 1991 模态系统Grz和直觉逻辑中逻辑方程的可解性。 Zbl 0729.03014号 里巴科夫,V.V。 1 1991 纳尔逊逻辑中的统一问题。 Zbl 1354.03032号 Odintsov,S.P。;里巴科夫,V.V。 1 2014 具有多估值和内涵逻辑运算的多代理逻辑。 Zbl 1486.03054号 里巴科夫,V.V。 1 2020 多智能体时间非传递线性逻辑与可容许性问题。 兹比尔1484.03031 里巴科夫,V.V。 1 2020 可见性、感知和知识的逻辑以及可接受的推理规则。 Zbl 1083.03021号 M.I.Golovanov。;科舍列娃公司。;里巴科夫,V。 1 2005 具有多代理时间可访问性关系的时间逻辑分支。 Zbl 1474.68341号 里巴科夫,V.V。 1 2021 离散线性时序逻辑与当前时间点簇,决定算法。 Zbl 1298.03063号 里巴科夫,V。 1 2008 多值多模态逻辑,可满足性问题。 Zbl 1436.03138号 迈克尔·亚历山德罗维奇(Michael Alexandrovich Moor);弗拉基米尔·弗拉迪米洛维奇·里巴科夫 1 2018 具有多代理时间可访问性关系的时间逻辑分支。 Zbl 1474.68341号 里巴科夫,V.V。 1 2021 由时间状态本身生成的具有可访问性时间关系的时间逻辑。 Zbl 1437.03081号 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 2 2020 具有多估值和内涵逻辑运算的多代理逻辑。 Zbl 1486.03054号 里巴科夫,V.V。 1 2020 多智能体时间非transitive线性逻辑和可容许性问题。 Zbl 1484.03031号 里巴科夫,V.V。 1 2020 将时间代理逻辑分支,通过简化形式的规则解决可满足性问题。 Zbl 1436.03126号 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 6 2019 具有多值的多代理时序逻辑。 Zbl 1469.03047号 里巴科夫,V.V。 10 2018 过去丢失世界的时间多值逻辑。 Zbl 1436.03154号 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 7 2018 具有非传递时间的线性时序逻辑,可判定性算法和可容许性验证。 Zbl 1429.03074号 弗拉基米尔·里巴科夫。 4 2018 多值多模态逻辑,可满足性问题。 Zbl 1436.03138号 迈克尔·亚历山德罗维奇(Michael Alexandrovich Moor);弗拉基米尔·弗拉迪米洛维奇·里巴科夫 1 2018 非传递时间多智能体逻辑、信息和知识、决策算法。 Zbl 1420.03060号 弗拉基米尔·里巴科夫。 9 2017 非传递线性时序逻辑和逻辑知识运算。 兹比尔1403.03028 弗拉基米尔·里巴科夫。 17 2016 线性离散时间多智能体逻辑中的投影公式和统一。 Zbl 1390.03019号 斯蒂芬·伊戈列维奇·巴什马科夫;安娜·弗拉基米洛夫娜·科舍列娃;弗拉基米尔·里巴科夫 4 2016 非敏感时间多智能体的逻辑、知识和不确定性、合理性。 Zbl 1474.68340号 弗拉基米尔·里巴科夫 三 2016 具有多智能体关系的知识的线性时序逻辑中的非均匀性。 兹比尔1390.03020 斯蒂芬·伊戈列维奇·巴什马科夫;安娜·弗拉基米洛夫娜·科舍列娃;弗拉基米尔·里巴科夫 三 2016 纳尔逊逻辑中的推理规则,可容许性和弱可容许性。 Zbl 1336.03036号 谢尔盖·奥丁佐夫;弗拉基米尔·里巴科夫 三 2015 线性时序逻辑中的投影公式和统一{长期贷款}_{U} \)。 Zbl 1342.03017号 弗拉基米尔·里巴科夫 7 2014 纳尔逊逻辑中的统一问题。 Zbl 1354.03032号 Odintsov,S.P。;里巴科夫,V.V。 1 2014 次协调极小Johanssons逻辑J和正直觉逻辑的统一和可容许规则。 Zbl 1323.03029号 谢尔盖·奥丁佐夫;弗拉基米尔·里巴科夫 18 2013 写出直觉逻辑中带系数公式的统一器。 Zbl 1277.03004号 弗拉基米尔·里巴科夫。 5 2013 带系数公式的传递模态逻辑的统一性(元变量)。 Zbl 1278.03050号 弗拉基米尔·里巴科夫 5 2013 写出线性时序逻辑中的统一器。 Zbl 1259.03029号 弗拉基米尔·里巴科夫。 7 2012 线性时序逻辑LTL:可接受规则的基础。 兹比尔1233.03026 谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 23 2011 线性时序逻辑LTL中的统一。 Zbl 1241.03014号 谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 10 2011 传递模态逻辑中的最佳统一者。 Zbl 1247.03029号 弗拉基米尔·里巴科夫。 三 2011 S4中检查规则可接受性的表方法。 兹伯利1345.03033 谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫;雷娜特·施密特(Renate A.Schmidt)。;蒂什科夫斯基,德米特里 9 2010 传递时态逻辑中允许的规则{T}(T)_{\mathrm(马特姆){S} 4个}\),充分条件。 Zbl 1209.03011号 弗拉基米尔·雷巴科夫 4 2010 线性时态逻辑\({\mathcal{LTL}}_K\)由多代理逻辑\(\text)扩展{K} _n(n)\)使用交互代理。 Zbl 1208.03023号 弗拉基米尔·里巴科夫 13 2009 通过交互代理进行知识和发现的逻辑-真实和可满足语句的决策算法。 Zbl 1179.68151号 弗拉基米尔·里巴科夫 10 2009 线性时序逻辑,具有直到和下一个逻辑顺序。 邮编1147.03008 里巴科夫,V。 26 2008 具有通用公式的多模和时态逻辑——将可容许性简化为有效性和统一性。 Zbl 1149.03017号 里巴科夫,V。 10 2008 基于线性时态逻辑LTL的局部公共知识混合逻辑的可判定性。 Zbl 1142.03323号 谢尔盖·巴本尼舍夫;弗拉基米尔·雷巴科夫 5 2008 带操作的分支时间逻辑\(mathcal{BTL}^{text{U,S}}_{text{N},\text{N}^{-1}}(mathcal{Z})_{alpha}\)直到和自基于整数束、逻辑序列、判定算法。 Zbl 1148.03011号 里巴科夫,V。 三 2008 具有交互代理的时态逻辑。可判定性:定理和可容许规则。 Zbl 1181.03016号 弗拉基米尔·里巴科夫 1 2008 离散线性时序逻辑与当前时间点簇,决定算法。 Zbl 1298.03063号 雷巴科夫,V。 1 2008 基于与共同过去平行时间的非自时间逻辑。决定算法。 Zbl 1132.03324号 里巴科夫,V。 5 2007 知识的多模态逻辑和线性时间LTK的公理化。 Zbl 1134.03011号 埃里卡·卡拉多;弗拉基米尔·里巴科夫。 5 2007 具有普遍模态和可容许连续性的逻辑学。 Zbl 1186.03048号 弗拉基米尔·里巴科夫 5 2007 线性时态逻辑,整数上有until和before,决定算法。 Zbl 1185.03022号 里巴科夫,V。 10 2006 离散线性时序逻辑中的逻辑顺序。 Zbl 1110.03010号 里巴科夫,V.V。 26 2005 有限区间不及物时间线性逻辑中的逻辑序列。 Zbl 1091.03002号 弗拉基米尔·里巴科夫 9 2005 结合时间和知识,语义方法。 Zbl 1117.03021号 E.卡拉多。;里巴科夫,V。 三 2005 关于模态逻辑和超直觉逻辑的全局可容许推理规则的注记。 Zbl 1117.03024号 V.V.里马特克西。;里巴科夫,V.V。 2 2005 可见性、感知和知识的逻辑以及可接受的推理规则。 Zbl 1083.03021号 M.I.Golovanov。;科舍列娃公司。;里巴科夫,V。 1 2005 推理规则没有有限基的表逻辑。 Zbl 1073.03012号 里巴科夫,V。 1 2004 精炼的公共知识逻辑或公共信息逻辑。 Zbl 1030.03015号 里巴科夫,V.V。 10 2003 公共知识逻辑的统一。 兹伯利1036.03012 里巴科夫,V.V。 2 2002 在与S4类似的逻辑中保持推理规则的可接受性。2 Zbl 1010.03011号 里巴科夫,V.V。;V.V.里马茨基。 1 2002 构建模态系统S4中允许的规则的明确基础。 Zbl 0992.03027号 弗拉基米尔·里巴科夫。 19 2001 容许推理规则的剩余有限性。 Zbl 0989.03015号 里巴科夫,V.V。;Kiyatkin,V.R。;Oner,T。 1 2001 直觉逻辑IPC的容许规则的半约简形式的基础。 Zbl 0955.03037号 弗拉基米尔·里巴科夫。;梅赫迈特·特齐勒;维塔利·雷马兹基 10 2000 模态逻辑的统一和被动推理规则。 Zbl 1040.03014号 里巴科夫,V.V。;特齐勒,M。;Gencer,C。 4 2000 漂亮逻辑中可接受规则的独立基础。 Zbl 0953.03032号 里巴科夫,V.V。;V.R.基亚特金。;特齐勒,M。 1 2000 关于自容许准特征化推理规则。 Zbl 0969.03032号 里巴科夫,V.V。;特齐勒,M。;Gencer,C。 1 2000 一篇关于模态逻辑的统一和推理规则的文章。 Zbl 0952.03019号 里巴科夫,V.V。;特齐勒,M。;Gencer,C。 12 1999 关于容许规则的有限模型性质。 Zbl 0938.03033号 弗拉基米尔·里巴科夫。;弗拉基米尔·基亚特金。;奥尼尔,塔辛 10 1999 表前逻辑中可接受规则的独立基础。 Zbl 0956.03024号 雷巴科夫,V。;V.基亚特金。;特齐勒,M。 三 1999 模态系统S4中允许的规则的明确基础。 Zbl 0961.03021号 弗拉基米尔·里巴科夫。 三 1999 继承S4允许规则的模态逻辑的描述。 Zbl 0942.03031号 里巴科夫,V.V。;Gencer,C。;奥奈尔,T。 1 1999 深度受限的刚性框架结构2。 Zbl 0965.03025号 里巴科夫,V.V。;Oner,T。 1 1998 逻辑推理规则的可接受性。 Zbl 0872.0302号 里巴科夫,V.V。 109 1997 模态逻辑的准特征推理规则。 Zbl 0887.03014号 弗拉基米尔·里巴科夫。 三 1997 对应于非经典逻辑的自由代数簇的基本理论。 Zbl 0853.03012号 弗拉基米尔·里巴科夫。 1 1996 遗传结构完整的模态逻辑。 Zbl 0836.03014号 里巴科夫,V.V。 11 1995 甚至表格模态逻辑有时也没有独立的可接受规则基础。 Zbl 0847.03014号 弗拉基米尔·里巴科夫。 2 1995 模态逻辑保持S4推理规则的可容许性。 兹比尔1044.03515 弗拉基米尔·里巴科夫。 1 1995 推理规则的可接受性标准。具有分支特性的模态和中间逻辑。 Zbl 0807.03016号 弗拉基米尔·里巴科夫。 三 1994 保留Heyting演算的可容许推理规则的中间逻辑。 Zbl 0807.03017号 弗拉基米尔·里巴科夫。 2 1993 直觉逻辑的带参数推理规则。 Zbl 0788.03007号 弗拉基米尔·雷巴科夫。 28 1992 格列文科定理及其应用的模态模拟。 Zbl 0788.03020号 里巴科夫,V.V。 4 1992 自由生成元的常数扩展签名中自由伪布尔代数(F_\omega{}(H))的普适理论。 Zbl 0767.03007号 里巴科夫,V.V。 1 1992 模态系统Grz和直觉逻辑中逻辑方程的可解性。 Zbl 0742.03005号 里巴科夫,V.V。 1 1991 逻辑S4和Int中允许推理规则的语义准则。 Zbl 0729.03013号 里巴科夫,V.V。 1 1991 模态系统Grz和直觉逻辑中逻辑方程的可解性。 Zbl 0729.03014号 里巴科夫,V.V。 1 1991 模态系统Grz和直觉命题演算中的替换和可容许性问题。 Zbl 0709.03009号 里巴科夫,V.V。 20 1990 模态可证明逻辑中带参数推理的逻辑方程和容许规则。 Zbl 0729.03012号 里巴科夫,V.V。 10 1990 模态逻辑中推理规则和逻辑方程的可容许性公理化可证明性。 Zbl 0766.03012号 里巴科夫,V.V。 1 1990 直觉命题演算中带参数推理规则的可接受性准则。 Zbl 0743.03037号 里巴科夫,V.V。 1 1990 可容许和替换问题,自由代数的逻辑方程和限制理论。 Zbl 0691.03012号 里巴科夫,V.V。 2 1989 模态系统Grz和直觉逻辑中可容许性的判定。 Zbl 0624.03009号 里巴科夫,V.V。 6 1987 模态系统Grz和直觉逻辑的容许规则的基础。 Zbl 0617.03007号 里巴科夫,V.V。 5 1987 自由拓扑布尔代数中的方程。 Zbl 0624.03007号 里巴科夫,V.V。 5 1986 自由拓扑布尔代数中的方程和替换问题。 Zbl 0607.06008号 里巴科夫,V.V。 2 1986 逻辑S4和Int的容许规则的基础。 Zbl 0598.03014号 里巴科夫,V.V。 20 1985 自由拓扑布尔代数和伪布尔代数的基本理论。 Zbl 0593.03041号 里巴科夫,V.V。 三 1985 模态逻辑和直觉逻辑中推理规则的可接受性标准。 Zbl 0596.03025号 里巴科夫,V.V。 1 1985 模态系统S4和直觉逻辑中规则的可接受性准则。 Zbl 0598.03013号 里巴科夫,V.V。 41 1984 包含S4.3的逻辑的允许规则。 兹伯利0582.03009 里巴科夫,V.V。 7 1984 层有限逻辑中可容许性问题的可判定性。 Zbl 0576.03012号 里巴科夫,V.V。 5 1984 具有前缀宽度的模态逻辑的完整性。 Zbl 0504.03008号 里巴科夫,V.V。 1 1983 漂亮模态逻辑的可接受规则。 Zbl 0496.03008号 里巴科夫,V.V。 三 1982 有限模态代数拟恒等式的基础。 Zbl 0507.08005号 里巴科夫,V.V。 三 1982 范式前逻辑的可容许规则。 Zbl 0489.03005号 里巴科夫,V.V。 9 1981 逻辑S4的可判定非紧扩展。 Zbl 0415.03012号 里巴科夫,V.V。 1 1979 带有LM-axioms的模态逻辑。 Zbl 0427.03013号 里巴科夫,V.V。 1 1979 莫代尔Logiken mit LM-Axiomen。 Zbl 0417.03007号 里巴科夫,V.V。 2 1978 逻辑S4的非紧凑扩展。 Zbl 0413.03013号 里巴科夫,V.V。 2 1978 逻辑S4的非紧凑扩展。 Zbl 0406.03039号 里巴科夫,V.V。 5 1977 逻辑S4的遗传有限公理化扩展。 Zbl 0358.02022号 里巴科夫,V.V。 三 1977 正规模态逻辑的格。 Zbl 0315.02027号 马克西莫娃,L.L。;里巴科夫,V.V。 29 1975 所有引用出版物 前5名被引用出版物 全部的 前5名130位作者引用 51 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 14 罗莎莉,伊姆霍夫 10 拉里萨·勒沃夫娜·马克西莫娃 9 Bezhanishvili,尼克 9 亚历克斯·奇特金 8 托马索·莫拉希尼 7 迈克尔·维克托洛维奇(Michael Viktorovich) 6 乔伊格登·根瑟 6 杰伦·古德米特(Jeroen P.Goudsmit)。 6 埃米尔·杰夏贝克 5 菲利普·巴尔比亚尼 5 古拉姆·贝扎尼什维利 5 西尔维奥·吉拉尔迪 5 乔治·梅特卡夫 5 里马茨基、维塔利、瓦伦蒂诺维奇 5 MichałMarek,Stronkowski 4 斯蒂芬·伊戈列维奇·巴什马科夫 4 基亚特金,弗拉基米尔·罗斯蒂斯拉夫维奇 4 弗兰克·沃尔特 4 尤恩·维塔·费多罗夫纳 三 谢尔盖·五·巴本尼舍夫。 三 谢尔盖·巴本尼舍夫 三 莱昂纳多·曼纽尔·卡布勒 三 亚历山大·瓦西里维奇 三 迪克·乔恩。 三 沃伊切赫·Dzik 三 琼·吉斯佩特 三 亚历山德拉·N·卢坎楚克。 三 阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 三 詹姆斯·拉弗瑞。 三 乔安·拉斯加 三 V.V.里马茨基。 三 雷娜特·施密特(Renate A.Schmidt)。 三 克里斯蒂娜·塞尔纳达斯。 三 德米特里·蒂什科夫斯基 2 列夫·贝克莱米舍夫。 2 柯蒂斯·弗兰克斯 2 赫里萨菲斯·哈托纳斯 2 佐菲亚·科斯特齐卡 2 谢尔盖·奥丁佐夫。 2 奥尼尔,塔辛 2 唐·伦纳德·皮戈齐 2 希拉里·普里斯特利(Hilary A.Priestley)。 2 保罗·罗齐埃 2 阿尔伯特·维瑟 2 彼得·沃伊泰拉克 2 杨恩斯克 1 保罗·阿格里亚诺 1 哈伊纳尔·安德雷卡 1 弗兰兹·巴德 1 佩德罗·巴尔塔扎尔 1 奥拉夫·拜尔斯多夫 1 威廉·约翰内斯·布洛克 1 斯特凡·博格沃德 1 埃里卡·卡拉多 1 卢卡·卡莱 1 梅林·卡尔 1 沃尔特·亚历山大·卡尼埃利 1 彼得·辛图拉 1 亚历山大·西特金 1 阿尔穆德娜·科拉西托 1 威廉·康雷迪 1 贾纳斯·Czelakowski 1 达尼埃,幸运 1 谢尔盖·德罗比舍维奇 1 伊沃·杜恩施 1 威瑟·迪奥比亚克 1 罗纳德·费金 1 字体,Josep Maria 1 本杰明·弗雷斯伯格 1 高基町五指 1 大卫·加伯里亚 1 洛伦佐·加莱奥蒂 1 梅·盖尔克 1 康斯坦丁·维肯特·埃维奇·格雷科维奇 1 马西娅·格罗泽克。 1 Joseph Yehuda Halpern 1 Zuzana Haniková 1 朱莉娅·伊林 1 拉蒙·詹萨纳 1 Mamuka A.Jibladze。 1 马库斯·容克 1 哈尔琴科,弗拉迪斯拉夫·K。 1 穆罕默德·科达达迪 1 索菲亚·奈特 1 安娜·弗拉基米洛夫娜·科舍列娃 1 奥利弗·库茨 1 露西娅·兰迪 1 托马斯·拉维奇卡 1 斯泰芬·伦普 1 马丁斯(Manuel António Martins) 1 迈克尔·亚历山德罗维奇(Michael Alexandrovich Moor) 1 巴巴拉·莫拉夫斯卡 1 丹尼尔·蒙迪奇 1 伊斯坦·内梅蒂 1 绪方和弘 1 艾比克·厄兹根 1 亚历山德拉·帕尔米吉亚诺 1 罗伯特·帕曼 1 阿列克桑德拉·米哈·巴夫洛娃 …还有30多位作者 全部的 前5名在38篇连载文章中被引用 27 代数与逻辑 22 Studia Logica公司 20 纯逻辑与应用逻辑年鉴 12 符号逻辑杂志 12 西伯利亚数学杂志 9 符号逻辑公报 8 西伯利亚联邦大学学报。数学和物理 7 数学逻辑档案 7 应用非经典逻辑杂志 6 数学逻辑季刊(MLQ) 6 SibirskieÈlektronnye Matematicheskie Izvestiya公司 6 泛逻辑 5 哲学逻辑杂志 5 圣母院形式逻辑杂志 5 符号逻辑综述 4 逻辑科公报 4 伊尔库茨科戈大学。马特马提卡丝里亚 三 代数Universalis 2 数学笔记 2 理论计算机科学 2 美国数学学会会刊 2 逻辑历史与哲学 2 计算机科学中的逻辑方法 1 数学进展 1 模糊集与系统 1 信息科学 1 纯粹与应用代数杂志 1 合成 1 MSCS公司。计算机科学中的数学结构 1 离散数学与应用 1 计算系统理论 1 软计算 1 洛巴切夫斯基数学杂志 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 多值逻辑与软计算杂志 1 应用逻辑杂志 1 公理 全部的 前5名在10个字段中引用 215 数学逻辑和基础(03-XX) 39 计算机科学(68至XX) 23 一般代数系统(08-XX) 21 阶、格、有序代数结构(06-XX) 5 总体主题;集合(00-XX) 5 一般拓扑结构(54至XX) 2 历史和传记(01-XX) 2 群论与推广(20-XX) 1 结合环与代数(16-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文