弗拉基米尔·弗拉迪米洛维奇·里巴科夫;基亚特金，弗拉基米尔·罗斯蒂斯拉夫维奇;康斯坦丁·维肯特·埃维奇·格雷科维奇 表示公式的完全不稳定真值的公式。 （英语） Zbl 07711304号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 44, 108-115 (2023).MSC公司：03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}等人，Izv。伊尔库茨克。戈斯。州立大学。材料4408-115（2023；兹bl 07711304） 全文： DOI程序 链接
尼基塔·阿列克桑德罗维奇·普罗琴科;弗拉基米尔·弗拉迪米洛维奇·里巴科夫;里马茨基、维塔利、瓦伦蒂诺维奇 区间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） 全文： DOI程序 链接
里巴科夫，V.V。 多代理时态逻辑、统一问题和可接受性。 （英语。俄文原件） Zbl 07566687号 同胞。数学。J。 63，第4号，769-776（2022）; 兄弟姐妹的翻译。材料Zh。63，第4期，924-934（2022）。MSC公司：03Bxx号 68泰克 68新元 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.63，No.4，769--776（2022；Zbl 07566687）；来自Sib的翻译。材料Zh。63，第4号，924--934（2022） 全文： DOI程序
弗拉基米尔·里巴科夫。 布尔逻辑中的可满足性（SAT问题）是多项式的。 （英语） Zbl 1507.03092号 J.西布。联邦大学数学系。物理学。 14，第5期，667-671（2021）. 审核人：Arne Meier（汉诺威） MSC公司：2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，J.Sib。联邦大学数学系。物理学。14，第5号，667--671（2021；Zbl 1507.03092） 全文： DOI程序 MNR公司
里巴科夫，V.V。 具有多代理时间可访问性关系的时间逻辑分支。 （英语。俄文原件） Zbl 1474.68341号 同胞。数学。J。 62，第3期，503-510（2021）; 来自Sib的翻译。材料Zh。62，第3期，623-632（2021年）。MSC公司：68T27型 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.62，No.3，503--510（2021；Zbl 1474.68341）；来自Sib的翻译。材料Zh。62，第3623-632号（2021） 全文： DOI程序
里巴科夫，V.V。 具有多估值和内涵逻辑运算的多代理逻辑。 （英语） Zbl 1486.03054号 Lobachevskii J.数学。 41，第2期，243-251（2020年）.MSC公司：03B70号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，Lobachevskii J.数学。41，第2号，243--251（2020；Zbl 1486.03054） 全文： DOI程序
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 由时间状态本身生成的具有可访问性时间关系的时间逻辑。 （英语） Zbl 1437.03081号 同胞。È勒克特隆。Mat.Izv公司。 17, 923-932 (2020).MSC公司：03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。È勒克特隆。Mat.Izv公司。17923-932（2020年；Zbl 1437.03081） 全文： DOI程序
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 将时间代理逻辑分支，通过简化形式的规则解决可满足性问题。 （英语） Zbl 1436.03126号 同胞。È勒克特隆。Mat.Izv公司。 16, 1158-1170 (2019).MSC公司：03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。È勒克特隆。Mat.Izv公司。116158-1170（2019年；Zbl 1436.03126） 全文： DOI程序
里巴科夫，V.V。 具有多值的多代理时间逻辑。 （英语。俄文原件） Zbl 1469.03047号 同胞。数学。J。 59，第4期，710-720（2018）; 来自Sib的翻译。材料Zh。59，第4期，897-911（2018）。MSC公司：03B44号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.59，No.4，710--720（2018；Zbl 1469.03047）；来自Sib的翻译。材料Zh。59，第4号，897--911（2018） 全文： DOI程序
迈克尔·亚历山德罗维奇（Michael Alexandrovich Moor）;弗拉基米尔·弗拉迪米洛维奇·里巴科夫 多值多模态逻辑，可满足性问题。 （英语） Zbl 1436.03138号 同胞。È勒克特隆。Mat.Izv公司。 15, 829-838 (2018).MSC公司：03B45号 03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Moor}和\textit{V.Rybakov}，Sib。È勒克特隆。Mat.Izv公司。15829-838（2018年；Zbl 1436.03138） 全文： DOI程序
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 过去丢失世界的时间多值逻辑。 （英语） Zbl 1436.03154号 同胞。È勒克特隆。Mat.Izv公司。 15, 436-449 (2018).MSC公司：03B50号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。È勒克特隆。Mat.Izv公司。15、436--449（2018年；Zbl 1436.03154） 全文： DOI程序
弗拉基米尔·里巴科夫。 非传递时间多智能体逻辑、信息和知识、决策算法。 （英语。俄文原件） Zbl 1420.03060号 同胞。数学。J。 58，第5号，875-886（2017）; 来自Sib的翻译。材料Zh。58，第5期，1128-1143（2017）。MSC公司：03B70号 03B44号 68T27型 03B25号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，西布。数学。J.58，第5号，875--886（2017；Zbl 1420.03060）；来自Sib的翻译。材料Zh。58，第5号，1128--1143（2017） 全文： DOI程序
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 克里普克元模型的逻辑。 （英语） Zbl 1216.03035号 日志。J.IGPL公司 18，第6期，823-836（2010）.MSC公司：03B45号 03B62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov}，Log。J.IGPL 18，第6号，823--836（2010；Zbl 1216.03035） 全文： DOI程序 链接
弗拉基米尔·雷巴科夫。;谢尔盖·五·巴本尼舍夫。 时态逻辑的混合{S} 4个_\mathrm{T}\）和具有交互代理的多代理逻辑。 （英语） Zbl 1472.68192号 J.西布。联邦大学数学系。物理学。 1，第4号，399-409（2008）.MSC公司：68T27型 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日，在希腊雅典举行的2008年欧洲可计算性第四次会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028，32-41（2008）。MSC公司：03B25号 03B42号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov}，Lect。票据计算。科学。5028，32-41（2008；Zbl 1142.03323） 全文： DOI程序
弗拉基米尔·里巴科夫。 由Since和Previous扩展的线性时序逻辑的可判定性w.r.t.逻辑序列。 （英语） Zbl 1213.03028号 芬丹。通知。 81，编号1-3，297-313（2007）.MSC公司：03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，芬丹。通知。81，编号1-3297-313（2007年；Zbl 1213.03028）