弗拉基米尔·弗拉迪米洛维奇·里巴科夫 由时间状态本身生成的具有可访问性时间关系的时间逻辑。 (英文) 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) 全文: 内政部
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 将时间代理逻辑分支,通过简化形式的规则解决可满足性问题。 (英文) 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) 全文: 内政部
迈克尔·亚历山德罗维奇(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) 全文: 内政部
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 过去丢失世界的时间多值逻辑。 (英文) 兹伯利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) 全文: 内政部