弗拉基米尔·里巴科夫。 使用静态代理知识操作的多代理时态逻辑。 (英语) 兹伯利07503907 J.西布。联邦大学数学系。物理学。 第1期第15页,114-124页(2022年).MSC公司:03Bxx号 68泰克 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},J.Sib。联邦大学数学系。物理。15,编号1,114--124(2022;Zbl 07503907) 全文: 内政部 MNR公司
弗拉基米尔·基亚特金。;安娜·柯舍列娃。 基于\(mathbb{Z}\)的时态多值逻辑中的可满足性。 (英语) Zbl 07503901号 J.西布。联邦大学数学系。物理学。 第15期,第1期,第56-74页(2022年).MSC公司:03Bxx号 68泰克 91轴 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Kiyatkin}和\textit{A.V.Kosheleva},J.Sib。联邦大学数学系。物理。15,编号1,56--74(2022;Zbl 07503901) 全文: 内政部 MNR公司
斯蒂芬·巴什马科夫。 线性模态逻辑中非及物时间和通用模态的统一。 (英语) Zbl 07325382号 J.西布。联邦大学数学系。物理学。 11,第1期,第3-9期(2018年).MSC公司:03B45号 03B35型 03秒20 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov},J.Sib。联邦大学数学系。物理。11、第1、3--9号(2018;Zbl 07325382) 全文: 内政部 MNR公司
斯蒂芬·巴什马科夫。 知识和线性时间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;Zbl 1524.68348) 全文: 内政部 MNR公司
亚历山德拉·N·卢坎楚克。 线性时间和知识的多模态逻辑LTK的可判定性。 (英语) Zbl 1522.03055号 J.西布。联邦大学数学系。物理学。 6,第2期,220-226(2013).MSC公司:03B45号 03B42型 03B44号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Lukyanchuk},J.Sib。联邦大学数学系。物理。6,编号220-226(2013;兹bl 1522.03055) 全文: MNR公司
弗拉基米尔·里巴科夫。;谢尔盖·巴别尼舍夫。 时态逻辑的混合{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公司