V. V. Rybakov, Admissibility of Logical Inference Rules, Studies in Logic and Foundations of Mathematics, 136, Elsevier, P.O. Box 211, 1000 AE Amsterdam, The Netherlands, 1997
N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Bulletin of Irkutsk State University. Series Mathematics, 49 (2024), 124–134
2.
Vladimir R. Kiyatkin, Vladimir V. Rybakov, “Interval multi-agent logic with reliability operator”, J. Sib. Fed. Univ. Math. Phys., 17:5 (2024), 679–683
3.
V. V. Rybakov, “Admissibility and unification in the modal logics related to S4.2”, Sibirsk. Mat. Zh., 65:1 (2024), 198–206
2023
4.
V. V. Rybakov, “Multi-agent temporal logics, information, unification, and projectivity”, Algebra Logika, 62:3 (2023), 424–431
5.
Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Bulletin of Irkutsk State University. Series Mathematics, 44 (2023), 108–115
6.
Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Bulletin of Irkutsk State University. Series Mathematics, 44 (2023), 98–107
2022
7.
V. V. Rybakov, “Dynamic temporal logical operations in multi-agent logics”, Algebra Logika, 61:5 (2022), 600–618
8.
V. V. Rybakov, “Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы”, Algebra Logika, 61:1 (2022), 111–118
9.
Vladimir V. Rybakov, “Multi-agents' temporal logic using operations of static agents' knowledge”, J. Sib. Fed. Univ. Math. Phys., 15:1 (2022), 114–124
10.
V. V. Rybakov, “Multiagent temporal logics, unification problems, and admissibilities”, Sibirsk. Mat. Zh., 63:4 (2022), 924–934; Siberian Math. J., 63:4 (2022), 769–776
2021
11.
Vladimir V. Rybakov, “Satisfiability in Boolean logic (SAT problem) is polynomial”, J. Sib. Fed. Univ. Math. Phys., 14:5 (2021), 667–671
12.
Vladimir V. Rybakov, “A short essay towards if $P$ not equal $NP$”, J. Sib. Fed. Univ. Math. Phys., 14:2 (2021), 258–260
13.
Vladimir V. Rybakov, “A note on computation MTs with time in instructions or with tapes of fixed length”, J. Sib. Fed. Univ. Math. Phys., 14:1 (2021), 69–73
14.
V. V. Rybakov, “Branching time logics with multiagent temporal accessibility relations”, Sibirsk. Mat. Zh., 62:3 (2021), 619–628; Siberian Math. J., 62:3 (2021), 503–510
V. V. Rybakov, “Multi-agent temporal nontransitive linear logics and the
admissibility problem”, Algebra Logika, 59:1 (2020), 123–141; Algebra and Logic, 59:1 (2020), 87–100
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Sib. Èlektron. Mat. Izv., 13 (2016), 923–929
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Sib. Èlektron. Mat. Izv., 13 (2016), 656–663
A. N. Luk'yanchuk, V. V. Rybakov, “Admissible inference rules in the linear logic of knowledge and time $LTK_r$ with intransitive time relation”, Sibirsk. Mat. Zh., 56:3 (2015), 573–593; Siberian Math. J., 56:3 (2015), 455–470
2014
25.
S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Sib. Èlektron. Mat. Izv., 11 (2014), 434–443
David McLean, Vladimir V. Rybakov, “Computing Truth of Logical Statements in Multi-Agents' Environment”, J. Sib. Fed. Univ. Math. Phys., 6:3 (2013), 315–328
2008
27.
Vladimir V. Rybakov, Sergej V. Babenyshev, “A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents”, J. Sib. Fed. Univ. Math. Phys., 1:4 (2008), 399–409
2002
28.
V. V. Rybakov, “Barwise's Information Frames and Modal Logics”, Algebra Logika, 41:5 (2002), 585–609; Algebra and Logic, 41:5 (2002), 323–336
V. V. Rybakov, V. V. Rimatskii, “Preservation of admissibility of inference rules in the logics similar to $S4.2$”, Sibirsk. Mat. Zh., 43:2 (2002), 446–453; Siberian Math. J., 43:2 (2002), 357–362
V. V. Rybakov, V. R. Kiyatkin, T. Oner, “Residual Finiteness for Admissible Inference Rules”, Algebra Logika, 40:5 (2001), 593–618; Algebra and Logic, 40:5 (2001), 334–347
V. V. Rybakov, M. Terziler, V. V. Rimatskii, “DescrIbing a basis in semireduced form for inference rules of intuitionistic logic”, Algebra Logika, 39:6 (2000), 720–740; Algebra and Logic, 39:6 (2000), 412–422
32.
V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Independent bases for admissible rules in pretable logics”, Algebra Logika, 39:2 (2000), 206–226; Algebra and Logic, 39:2 (2000), 119–130
V. V. Rybakov, “Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$”, Mat. Zametki, 50:1 (1991), 84–91; Math. Notes, 50:1 (1991), 714–718
34.
V. V. Rybakov, “Decidability of logical equations in the modal system $\operatorname{Grz}$ and in intuitionistic logic”, Sibirsk. Mat. Zh., 32:2 (1991), 140–153; Siberian Math. J., 32:2 (1991), 297–308
V. V. Rybakov, “Admissibility of inference rules with parameters in intuitionistic
logic, and intuitionistic Kripke models”, Dokl. Akad. Nauk SSSR, 312:1 (1990), 42–45; Dokl. Math., 41:3 (1990), 421–424
36.
V. V. Rybakov, “Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus”, Izv. Akad. Nauk SSSR Ser. Mat., 54:6 (1990), 1331–1341; Math. USSR-Izv., 37:3 (1991), 693–703
V. V. Rybakov, “Admissibility of rules of inference, and logical equations, in modal logics axiomatizing provability”, Izv. Akad. Nauk SSSR Ser. Mat., 54:2 (1990), 357–377; Math. USSR-Izv., 36:2 (1991), 369–390
V. V. Rybakov, “Decidability of admissibility in the modal system $\mathrm{Grz}$ and in intuitionistic logic”, Izv. Akad. Nauk SSSR Ser. Mat., 50:3 (1986), 598–616; Math. USSR-Izv., 28:3 (1987), 589–608
V. V. Rybakov, “Bases of admissible rules of the modal system Grz and of intuitionistic logic”, Mat. Sb. (N.S.), 128(170):3(11) (1985), 321–338; Math. USSR-Sb., 56:2 (1987), 311–331
P. E. Alaev, O. V. Bogopolski, A. V. Vasil'ev, S. S. Goncharov, Yu. L. Ershov, V. D. Mazurov, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Palchunov, V. G. Puzarenko, V. V. Rybakov, K. L. Rychkov, A. N. Ryaskin, I. A. Taimanov, A. S. Filyurin, D. G. Khramtsov, V. A. Churkin, “Sergei Ilyich Mardaev (6.04.1962–10.04.2013)”, Sib. Èlektron. Mat. Izv., 10 (2013), 30–34