弗拉基米尔·里巴科夫。 使用静态代理知识操作的多代理时态逻辑。 （英语） Zbl 07503907号 J.西布。联邦大学数学系。物理学。 第1期第15页，114-124页（2022年）.MSC公司：03B44号 03B45号 03B70号 68T27型 03B25号 PDF格式BibTeX公司 XML格式引用 \文本｛V.V.Rybakov｝，J.Sib。联邦大学数学系。物理学。15，编号1，114--124（2022；Zbl 07503907） 全文： 内政部 跨国公司
里巴科夫，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 1484.03031号 代数逻辑 59，第1号，87-100（2020年）; 《代数逻辑学》59，第1期，第123-141页（2020年）的译文。MSC公司：03B44号 68T27型 03B47号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，《代数逻辑》59，第1期，87--100（2020；Zbl 1484.03031）；翻译自代数罗技59，第123-141号（2020） 全文： 内政部 链接
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 具有可访问性的时间逻辑，时间关系由时间状态本身生成。 （英语） 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） 全文： 内政部