尼基塔·阿列克桑德罗维奇·普罗琴科;弗拉基米尔·弗拉迪米洛维奇·里巴科夫;里马茨基、维塔利、瓦伦蒂诺维奇 区间FP-逻辑的可满足性问题。 （英语） Zbl 07711303号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 44, 98-107 (2023)。MSC公司：03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Protsenko}等人，Izv。伊尔库茨克。戈斯。州立大学。材料44，98--107（2023；Zbl 07711303） 全文： 内政部 链接 OA许可证
弗拉基米尔·里巴科夫。 布尔逻辑中的可满足性（SAT问题）是多项式的。 （英语） Zbl 1507.03092号 J.西布。联邦大学数学系。物理学。 14，第5期，667-671（2021）。 审核人：阿恩·迈尔（汉诺威） MSC公司：2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，J.Sib。联邦大学数学系。物理。14，第5号，667--671（2021；Zbl 1507.03092） 全文： 内政部 MNR公司
里巴科夫，V.V。 多智能体时间非传递线性逻辑与可容许性问题。 （英语。俄文原件） 兹比尔1484.03031 代数逻辑 59，第1号，87-100（2020年）; 《代数逻辑学》59，第1期，第123-141页（2020年）的译文。MSC公司：03B44号 第68页第27页 03B47号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，《代数逻辑》59，第1期，87--100（2020；Zbl 1484.03031）；《代数逻辑》59，第1期，第123--141页（2020年）的译文 全文： 内政部 链接
Luk'yanchuk，A.N。;里巴科夫，V.V。 知识与时间线性逻辑中的可容许推理规则{LTK}_r\)具有不及物时间关系。 （英语。俄文原件） Zbl 1342.03019号 同胞。数学。J。 56，第3期，455-470（2015）; 来自Sib的翻译。材料Zh。56，第3期，573-593（2015）。 审核人：雅罗斯拉夫·施拉姆科（Kryvyi Rih） MSC公司：03B45号 03B44号 03B42号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Luk’yanchuk}和\textit{V.Rybakov}，Sib。数学。J.56，No.3，455--470（2015；Zbl 1342.03019）；来自Sib的翻译。材料Zh。56，第3号，573--593（2015） 全文： 内政部
谢尔盖·奥廷索夫;弗拉基米尔·里巴科夫 纳尔逊逻辑中的推理规则，可容许性和弱可容许性。 （英语） Zbl 1336.03036号 日志。Univers大学。 9，第1期，93-120（2015）。MSC公司：03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Odintsov}和\textit{V.Rybakov}，Log。Univers大学。9，第1号，93-120（2015；Zbl 1336.03036） 全文： 内政部 链接
谢尔盖·奥丁佐夫;弗拉基米尔·里巴科夫 次协调极小Johanssons逻辑J和正直觉逻辑的统一和可容许规则。 （英语） Zbl 1323.03029号 Ann.纯粹应用。逻辑 164，编号7-8，771-784（2013）。MSC公司：03B53号 03B25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Odintsov}和\textit{V.Rybakov}，Ann.Pure Appl。逻辑164，编号7--8771--784（2013；Zbl 1323.03029） 全文： 内政部
弗拉基米尔·里巴科夫。 传递模态逻辑中的最佳统一者。 （英语） Zbl 1247.03029号 螺柱日志。 99，编号1-3，321-336（2011）。 审核人：奈尔·扎莫夫（喀山） MSC公司：03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，Stud.Log。99，编号1--3，321--336（2011；Zbl 1247.03029） 全文： 内政部
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 线性时序逻辑LTL中的统一。 （英语） Zbl 1241.03014号 Ann.纯粹应用。逻辑 162，编号12991-1000（2011）。MSC公司：03B44号 03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov}，Ann.Pure Appl。逻辑162，No.12，991--1000（2011；Zbl 1241.03014） 全文： 内政部
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫;雷娜特·施密特（Renate A.Schmidt）。;德米特里·蒂什科夫斯基 S4中检查规则可接受性的表方法。 （英语） 兹伯利1345.03033 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记262，17-32（2010）。MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}等人，《电子》。注释Theor。计算。科学。262、17-32（2010年；Zbl 1345.03033） 全文： 内政部
弗拉基米尔·里巴科夫 传递时态逻辑中允许的规则{T}（T）_{\mathrm（马特姆）{S} 4个}\)，充分条件。 （英语） Zbl 1209.03011号 西奥。计算。科学。 411，第50号，4323-4332（2010）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \文本｛V.Rybakov｝，Theor。计算。科学。411、50号、4323--4332（2010；Zbl 1209.03011） 全文： 内政部
弗拉基米尔·里巴科夫 通过交互代理进行知识和发现的逻辑-真实和可满足语句的决策算法。 （英语） Zbl 1179.68151号 信息科学。 179，第11期，1608-1614（2009）。MSC公司：第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，信息科学。179，第11号，1608--1614（2009；Zbl 1179.68151） 全文： 内政部
弗拉基米尔·里巴科夫。;谢尔盖·五·巴本尼舍夫。 时态逻辑的混合{S} 4个_\mathrm{T}\）和具有交互代理的多代理逻辑。 （英语） Zbl 1472.68192号 J.西布。联邦大学数学系。物理学。 1，第4号，399-409（2008）。MSC公司：第68页第27页 03B42号 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}和\textit{S.V.Babenyshev}，J.Sib。联邦大学数学系。物理。1，第4号，399--409（2008；Zbl 1472.68192） 全文： MNR公司
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 基于线性时态逻辑LTL的局部公共知识混合逻辑的可判定性。 （英语） Zbl 1142.03323号 Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028，32-41（2008）。MSC公司：03B25号 03B42号 03B44号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov}，Lect。注释计算。科学。5028，32-41（2008；Zbl 1142.03323） 全文： 内政部
里巴科夫，V。 带操作的分支时间逻辑\（mathcal{BTL}^{text{U，S}}_{text{N}，\text{N}^{-1}}（mathcal{Z}）_{alpha}\）直到和自基于整数束、逻辑序列、判定算法。 （英语） Zbl 1148.03011号 理论计算。系统。 第2254-271号第43页（2008年）。MSC公司：03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，理论计算。系统。43，第2号，254--271（2008；Zbl 1148.03011） 全文： 内政部
里巴科夫，V.V。 离散线性时序逻辑中的逻辑顺序。 （英语） Zbl 1110.03010号 J.塞姆。日志。 70，第4期，1137-1149（2005）。 审核人：阿尔弗雷多·布里耶扎·穆尼兹（马拉加） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，J.Symb。日志。70，第4号，1137--1149（2005；Zbl 1110.03010） 全文： 内政部
弗拉基米尔·里巴科夫。;弗拉基米尔·基亚特金。;奥尼尔，塔辛 关于容许规则的有限模型性质。 （英语） Zbl 0938.03033号 数学。日志。问：。 45，第4期，505-520（1999）。 审核人：博里奇奇（贝尔格莱德） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}等人，《数学》。日志。企45、4号、505--520（1999；Zbl 0938.03033） 全文： 内政部
里巴科夫，V.V。 遗传结构完整的模态逻辑。 （英语） Zbl 0836.03014号 J.塞姆。日志。 60，第1期，266-288（1995）。 审核人：U.Scheffler（柏林） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，J.Symb。日志。60，第1号，266--288（1995；Zbl 0836.03014） 全文： 内政部
弗拉基米尔·里巴科夫。 推理规则的可接受性标准。具有分支特性的模态和中间逻辑。 （英语） Zbl 0807.03016号 螺柱日志。 53，第2期，203-225（1994）。 审核人：M.Zakharyashev（莫斯科） MSC公司：03B55号 03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，Stud.Log。53，第2号，203--225（1994；Zbl 0807.03016） 全文： 内政部
里巴科夫，V.V。 S4和Int中演绎规则的语义可接受性标准。 （英语。俄文原件） Zbl 0745.03016号 数学。笔记 50，第1期，714-718（1991）; 翻译自Mat.Zametki 50，No.1，84-91（1991）。MSC公司：03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，数学。注释50，编号1，714--718（1991；Zbl 0745.03016）；翻译自Mat.Zametki 50，No.1，84--91（1991） 全文： 内政部
里巴科夫，V.V。 模态系统Grz和直觉逻辑中逻辑方程的可解性。 （英语。俄文原件） Zbl 0742.03005号 同胞。数学。J。 32，第2期，297-308（1991年）; 来自Sib的翻译。材料Zh。32，第2期（186），140-153（1991）。MSC公司：03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.32，No.2，297--308（1991；Zbl 0742.03005）；来自Sib的翻译。材料Zh。32，第2号（186），140--153（1991） 全文： 内政部
里巴科夫，V.V。 模态系统Grz和直觉命题演算中的替换和可容许性问题。 （英语） Zbl 0709.03009号 Ann.纯粹应用。逻辑 50，第1期，71-106（1990）。MSC公司：03B45号 03B20型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，Ann.《纯粹的应用》。逻辑50，No.1，71--106（1990；Zbl 0709.03009） 全文： 内政部
里巴科夫，V.V。 自由拓扑布尔代数中的方程。 （英语。俄文原件） Zbl 0624.03007号 代数逻辑 2109-127（1986年）; 《代数逻辑》25，第2期，172-204（1986）的翻译。 审核人：S.鲁迪亚努 MSC公司：03B25号 03G10年 06B25号 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑25，109--127（1986；Zbl 0624.03007）；《代数逻辑》25，第2期，172--204（1986）的翻译 全文： 内政部 欧洲DML
里巴科夫，V.V。 逻辑S4和Int的容许规则的基础。 （英语。俄文原件） Zbl 0598.03014号 代数逻辑 24, 55-68 (1985); 翻译自《代数逻辑》24，第1期，第87-107页（1985年）。 审核人：G.E.薄荷 MSC公司：03B45号 03楼50 03B25号 03B55号 03B60号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑24，55--68（1985；Zbl 0598.03014）；《代数逻辑学24》第1期第87-107页（1985）的译文 全文： 内政部 欧洲DML
里巴科夫，V.V。 模态系统S4和直觉逻辑中规则的可接受性准则。 （英语。俄文原件） Zbl 0598.03013号 代数逻辑 23, 369-384 (1984); 翻译自《代数逻辑》23，第5期，546-572（1984）。 审核人：V.B.谢赫特曼 MSC公司：03B45号 03楼50 03B25号 03B55号 03B60号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑23，369--384（1984；Zbl 0598.03013）；《代数逻辑学》第23卷第5期第546--572页的译文（1984年） 全文： 内政部 欧洲DML