里巴科夫,V.V。 S4.2相关模态逻辑的可接受性和统一性。 (英语。俄文原件) 兹比尔07804700 同胞。数学。J。 65,第1期,167-173(2024); 来自Sib的翻译。材料Zh。65,第1期,198-206(2024)。MSC公司:03亿xx 68次发射 08Bxx年 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},西布。数学。J.65,No.1,167--173(2024;Zbl 07804700);来自Sib的翻译。材料Zh。65,第1号,198--206(2024) 全文: 内政部
里巴科夫,V.V。 多智能体时态逻辑、信息、统一和投射。 (英语。俄文原件) Zbl 07849287号 代数逻辑 62,第3号,283-288(2023); 《代数逻辑学》第62卷第3期第424-431页(2023年)的译文。MSC公司:03年XX月 20-XX年 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},代数逻辑62,No.3,283--288(2023;Zbl 07849287);《代数逻辑学》62,No.3,424--431(2023)的译文 全文: 内政部
里巴科夫,V.V。 多智能体逻辑中的动态时序逻辑操作。 (英语。俄文原件) Zbl 07738540号 代数逻辑 61,第5期,407-419(2022); 翻译自代数Logika 61,编号5600-618(2022)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},代数逻辑61,No.5,407--419(2022;Zbl 07738540);代数逻辑学61,No.5,600--618(2022)的翻译 全文: 内政部
里巴科夫,V.V。 具有动态可访问关系、投影统一器的多智能体逻辑。 (英语。俄文原件) Zbl 1515.03146号 代数逻辑 61,编号1,79-83(2022); 翻译自代数Logika 61,第111-118号(2022)。MSC公司:03B70号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},代数逻辑61,No.1,79--83(2022;Zbl 1515.03146);代数逻辑学61,No.1,111--118(2022)的翻译 全文: 内政部
里巴科夫,V.V。 多代理时态逻辑、统一问题和可接受性。 (英语。俄文原件) Zbl 07566687号 同胞。数学。J。 63,第4号,769-776(2022); 来自Sib的翻译。材料Zh。63,第4期,924-934(2022)。MSC公司:03亿xx 68次发射 68新元 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},西布。数学。J.63,No.4,769--776(2022;Zbl 07566687);来自Sib的翻译。材料Zh。63,第4号,924--934(2022) 全文: 内政部
弗拉基米尔·里巴科夫。 布尔逻辑中的可满足性(SAT问题)是多项式的。 (英语) Zbl 1507.03092号 J.西布。联邦大学数学系。物理学。 第5号第14页,第667-671页(2021). 审核人:阿恩·迈尔(汉诺威) MSC公司:2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.V.Rybakov},J.Sib。联邦大学数学系。物理学。14,第5号,667--671(2021;Zbl 1507.03092) 全文: 内政部 跨国公司
杰伦·古德米特(Jeroen P.Goudsmit)。 可接受性的决定:关于弗里德曼的一个问题及其Rybakov的解决方案。 (英语) Zbl 07379165号 牛市。符号。日志。 27,第1期,1-38页(2021年).MSC公司:03B20型 03B25号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},公牛。符号。日志。27,编号1,1--38(2021;Zbl 07379165) 全文: 内政部
斯蒂芬·巴什马科夫。 知识和线性时间LTK的多模态逻辑中的统一和推理规则。 (英语) Zbl 1524.68348号 J.西布。联邦大学数学系。物理学。 9,第2期,149-157(2016).MSC公司:68T27型 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov},J.Sib。联邦大学数学系。物理学。9,第2号,149-157(2016年;兹bl 1524.68348) 全文: 内政部 跨国公司
尼克·贝扎尼什维利;大卫·加伯里亚;西尔维奥·吉拉尔迪;Jibladze,马穆卡 通过稳定规范规则的可容许基。 (英语) Zbl 1397.03016号 双头螺栓日志。 104,第2期,317-341(2016). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B20型 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,研究日志。104、2号、317--341(2016;Zbl 1397.03016) 全文: 内政部 OA许可证
埃米尔·杰瓦贝克 模式逻辑中带参数的规则。一、。 (英语) Zbl 1408.03015号 Ann.纯粹应用。逻辑 166,第9期,881-933(2015).MSC公司:03B45号 03B55号 08B20号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},Ann.纯苹果。逻辑166,No.9,881--933(2015;Zbl 1408.03015) 全文: 内政部 arXiv公司
谢尔盖·奥丁佐夫;弗拉基米尔·里巴科夫 纳尔逊逻辑中的推理规则,可容许性和弱可容许性。 (英语) 兹伯利1336.03036 日志。Univers大学。 9,第1期,93-120(2015).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Odintsov}和\textit{V.Rybakov},Log。通用。9,第1号,93-120(2015;Zbl 1336.03036) 全文: 内政部 链接
谢尔盖·奥丁佐夫;弗拉基米尔·里巴科夫 准一致极小Johansson逻辑J和正直觉逻辑(\mathbf{IPC}^+\)的统一性和可容许规则。 (英语) 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,第12期,991-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) 全文: 内政部
西尔维奥·吉拉尔迪 最佳解模态方程。 (英语) Zbl 0949.03010号 Ann.纯粹应用。逻辑 102,第3期,183-198(2000). 审核人:N.Zamov(喀山) MSC公司:03B35型 03B45号 03G25号 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi},Ann.纯粹应用。逻辑102,No.3,183--198(2000;Zbl 0949.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) 全文: 内政部
1993年7月20日至29日,英国基尔,93年逻辑学术讨论会,符号逻辑协会欧洲夏季会议。 (英语) 兹比尔0925.03003 牛市。符号。日志。 第1期,第85-115页(1995年).MSC公司:03-06 PDF格式BibTeX公司 XML格式引用 牛市。符号。日志。1,编号1,85-115(1995年;Zbl 0925.03003) 全文: 内政部 链接
里巴科夫,V.V。 遗传结构完整的模态逻辑。 (英语) Zbl 0836.03014号 J.塞姆。日志。 60,第1期,266-288(1995). 审核人:U.Schefler(柏林) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},J.Symb。日志。60,第1266-288号(1995年;兹bl 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) 全文: 内政部
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。 什么是推理规则? (英语) Zbl 0761.03010号 J.塞姆。日志。 57,第3期,1018-1045(1992). 审核人:G.Mints(斯坦福大学) MSC公司:03B60号 20层03 07年3月 65年第68季度 03B45号 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}等人,J.Symb。日志。57,编号31018-1045(1992年;Zbl 0761.03010) 全文: 内政部