里巴科夫,V.V。 多代理时态逻辑、统一问题和可接受性。 (英语。俄文原件) Zbl 07566687号 同胞。数学。J。 63,编号4,769-776(2022); 来自Sib的翻译。材料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,第4924-934号(2022) 全文: 内政部
里巴科夫,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,第3号,623--632(2021) 全文: 内政部
里巴科夫,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) 全文: 内政部
弗拉基米尔·里巴科夫。 非传递时间多智能体逻辑、信息和知识、决策算法。 (英语。俄文原件) 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) 全文: 内政部
云,V.F。 论知识与时间的线性逻辑与不及物时间关系。 (英语。俄文原件) 兹伯利1328.03016 同胞。数学。J。 56,第3期,565-568(2015); 来自Sib的翻译。材料Zh。56,第3期,715-720(2015)。MSC公司:03B42号 03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Yun},Sib。数学。J.56,No.3,565--568(2015;Zbl 1328.03016);来自Sib的翻译。材料Zh。56,第3号,715--720(2015) 全文: 内政部
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) 全文: 内政部
Luk'yanchuk,A.N。;里马茨基,V.V。 知识与时间线性逻辑的公理化{LTK}_r\)具有不及物时间关系。 (英语。俄文原件) 兹伯利1348.03018 同胞。数学。J。 54,第6期,1037-1045(2013); 来自Sib的翻译。材料Zh。54,第6期,1304-1314(2013)。MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Luk'yanchuk}和\textit{V.V.Rimatskiĭ},兄弟姐妹。数学。J.54,No.6,1037--1045(2013;Zbl 1348.03018);来自Sib的翻译。材料Zh。54,第6号,1304--1314(2013) 全文: 内政部
马克西莫娃,L.L。 带有“下一个”运算符的时序逻辑没有插值或Beth属性。 (英语。俄文原件) Zbl 0777.03006号 同胞。数学。J。 32,第6号,989-993(1991); 来自Sib的翻译。材料Zh。32,第6号(190),109-113(1991)。MSC公司:03B45 03B70号 PDF格式BibTeX公司 XML格式 全文: 内政部