Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Rybakov, Vladimir Vladimirovich
Statistics Math-Net.Ru
Total publications: 63
Scientific articles: 61
Talks: 3

Number of views:
This page:5547
Abstract pages:29520
Full texts:14578
Talk pages:978
Video records:198
Professor
Doctor of physico-mathematical sciences (1987)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 6.01.1951
E-mail: , , ,
Website: https://math.sfu-kras.ru/node/303
Keywords: mathematical logics modal and temporal logics intuitionistic logic paraconsistent logics informatics computer science knowledge representation universal algebra
UDC: 510.6, 512, 517.11, 519.48, 510.643

Subject:

mathematical logics modal and temporal logics intuitionistic logic paraconsistent logics informatics computer science knowledge representation universal algebra
   
Main publications:
  1. 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

https://www.mathnet.ru/eng/person21221
https://scholar.google.com/citations?user=aXDTJssAAAAJ&hl=en
https://mathscinet.ams.org/mathscinet/MRAuthorID/213041
https://orcid.org/0000-0002-6654-9712

Publications in Math-Net.Ru Citations
2026
1. Kirill A. Petrov, Vladimir V. Rybakov, “Bimodal cluster temporal logic: local filtration, stabilization, and decidability”, J. Sib. Fed. Univ. Math. Phys., 19:3 (2026),  417–422  mathnet
2025
2. K. V. Grekovich, V. V. Rybakov, V. V. Rimatskiy, “Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability”, Bulletin of Irkutsk State University. Series Mathematics, 51 (2025),  141–150  mathnet
3. Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Non-standard logic and reliability of information”, J. Sib. Fed. Univ. Math. Phys., 18:5 (2025),  680–686  mathnet
4. N. A. Protsenko, V. V. Rybakov, “Multilinear multimodal logic with semi-reliable information operator”, Sib. Èlektron. Mat. Izv., 22:2 (2025),  1154–1163  mathnet
2024
5. 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  mathnet
6. Vladimir R. Kiyatkin, Vladimir V. Rybakov, “Interval multi-agent logic with reliability operator”, J. Sib. Fed. Univ. Math. Phys., 17:5 (2024),  679–683  mathnet
7. V. V. Rybakov, “Multi-agent logics with interaction, unifiability and projectivity”, Sib. Èlektron. Mat. Izv., 21:2 (2024),  1370–1384  mathnet
8. V. V. Rybakov, “Admissibility and unification in the modal logics related to S4.2”, Sibirsk. Mat. Zh., 65:1 (2024),  198–206  mathnet; Siberian Math. J., 65:1 (2024), 167–173
2023
9. V. V. Rybakov, “Multi-agent temporal logics, information, unification, and projectivity”, Algebra Logika, 62:3 (2023),  424–431  mathnet; Algebra and Logic, 62:3 (2023), 283–288
10. 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  mathnet
11. 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  mathnet 1
2022
12. V. V. Rybakov, “Dynamic temporal logical operations in multi-agent logics”, Algebra Logika, 61:5 (2022),  600–618  mathnet; Algebra and Logic, 61:5 (2022), 407–419
13. V. V. Rybakov, “Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы”, Algebra Logika, 61:1 (2022),  111–118  mathnet; Algebra and Logic, 61:1 (2022), 79–83
14. Vladimir V. Rybakov, “Multi-agents' temporal logic using operations of static agents' knowledge”, J. Sib. Fed. Univ. Math. Phys., 15:1 (2022),  114–124  mathnet  isi
15. V. V. Rybakov, “Multiagent temporal logics, unification problems, and admissibilities”, Sibirsk. Mat. Zh., 63:4 (2022),  924–934  mathnet; Siberian Math. J., 63:4 (2022), 769–776
2021
16. Vladimir V. Rybakov, “Satisfiability in Boolean logic (SAT problem) is polynomial”, J. Sib. Fed. Univ. Math. Phys., 14:5 (2021),  667–671  mathnet  isi
17. Vladimir V. Rybakov, “A short essay towards if $P$ not equal $NP$”, J. Sib. Fed. Univ. Math. Phys., 14:2 (2021),  258–260  mathnet  isi
18. 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  mathnet  isi
19. V. V. Rybakov, “Branching time logics with multiagent temporal accessibility relations”, Sibirsk. Mat. Zh., 62:3 (2021),  619–628  mathnet  elib; Siberian Math. J., 62:3 (2021), 503–510  isi  scopus 7
2020
20. V. V. Rybakov, “Multi-agent temporal nontransitive linear logics and the admissibility problem”, Algebra Logika, 59:1 (2020),  123–141  mathnet; Algebra and Logic, 59:1 (2020), 87–100  isi  scopus 5
21. V. V. Rybakov, “Temporal logic with overlap temporal relations generated by time states themselves”, Sib. Èlektron. Mat. Izv., 17 (2020),  923–932  mathnet  isi 4
2019
22. V. V. Rybakov, “Branching time agents' logic, satisfiability problem by rules in reduced form”, Sib. Èlektron. Mat. Izv., 16 (2019),  1158–1170  mathnet  isi 6
2018
23. M. A. Moor, V. V. Rybakov, “Many-valued multi-modal logics, satisfiability problem”, Sib. Èlektron. Mat. Izv., 15 (2018),  829–838  mathnet  isi 2
24. V. V. Rybakov, “Temporal multi-valued logic with lost worlds in the past”, Sib. Èlektron. Mat. Izv., 15 (2018),  436–449  mathnet  isi 7
25. V. V. Rybakov, “Multiagent temporal logics with multivaluations”, Sibirsk. Mat. Zh., 59:4 (2018),  897–911  mathnet  elib; Siberian Math. J., 59:4 (2018), 710–720  isi  scopus 14
2017
26. V. V. Rybakov, “Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms”, Sibirsk. Mat. Zh., 58:5 (2017),  1128–1143  mathnet  elib; Siberian Math. J., 58:5 (2017), 875–886  isi  elib  scopus 16
2016
27. 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  mathnet  isi  scopus 3
28. 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  mathnet  isi  scopus 2
2015
29. 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  mathnet  mathscinet  elib; Siberian Math. J., 56:3 (2015), 455–470  isi  elib  scopus
2014
30. S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Sib. Èlektron. Mat. Izv., 11 (2014),  434–443  mathnet 1
2013
31. 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  mathnet
2008
32. 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  mathnet
2002
33. V. V. Rybakov, “Barwise's Information Frames and Modal Logics”, Algebra Logika, 41:5 (2002),  585–609  mathnet  mathscinet  zmath; Algebra and Logic, 41:5 (2002), 323–336  scopus 1
34. 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  mathnet  mathscinet  zmath; Siberian Math. J., 43:2 (2002), 357–362  isi 2
2001
35. V. V. Rybakov, V. R. Kiyatkin, T. Oner, “Residual Finiteness for Admissible Inference Rules”, Algebra Logika, 40:5 (2001),  593–618  mathnet  mathscinet  zmath; Algebra and Logic, 40:5 (2001), 334–347  scopus 1
2000
36. 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  mathnet  mathscinet  zmath; Algebra and Logic, 39:6 (2000), 412–422  scopus
37. V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Independent bases for admissible rules in pretable logics”, Algebra Logika, 39:2 (2000),  206–226  mathnet  mathscinet  zmath; Algebra and Logic, 39:2 (2000), 119–130  scopus 3
1991
38. V. V. Rybakov, “Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$”, Mat. Zametki, 50:1 (1991),  84–91  mathnet  mathscinet  zmath; Math. Notes, 50:1 (1991), 714–718  isi
39. 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  mathnet  mathscinet  zmath; Siberian Math. J., 32:2 (1991), 297–308  isi 3
1990
40. 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  mathnet  mathscinet  zmath; Dokl. Math., 41:3 (1990), 421–424
41. 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  mathnet  mathscinet  zmath; Math. USSR-Izv., 37:3 (1991), 693–703 1
42. 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  mathnet  mathscinet  zmath; Math. USSR-Izv., 36:2 (1991), 369–390 2
1989
43. V. V. Rybakov, “Admissibility of rules of inference in the modal system $G$”, Trudy Inst. Mat. Sib. Otd. AN SSSR, 12 (1989),  120–138  mathnet  mathscinet  zmath 1
1986
44. V. V. Rybakov, “Equations in a free topo-Boolean algebra”, Algebra Logika, 25:2 (1986),  172–204  mathnet  mathscinet 3
45. V. V. Rybakov, “Equations in a free topo-Boolean algebra and the substitution problem”, Dokl. Akad. Nauk SSSR, 287:3 (1986),  554–557  mathnet  mathscinet  zmath 2
46. 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  mathnet  mathscinet  zmath; Math. USSR-Izv., 28:3 (1987), 589–608 10
1985
47. V. V. Rybakov, “Bases of admissible rules of the logics ${\rm S}4$ and ${\rm Int}$”, Algebra Logika, 24:1 (1985),  87–107  mathnet  mathscinet 10
48. V. V. Rybakov, “A criterion for admissibility of inference rules in modal and intuitionistic logic”, Dokl. Akad. Nauk SSSR, 284:3 (1985),  538–541  mathnet  mathscinet  zmath
49. V. V. Rybakov, “Elementary theories of free topo-Boolean and pseudo-Boolean algebras”, Mat. Zametki, 37:6 (1985),  797–802  mathnet  mathscinet  zmath; Math. Notes, 37:6 (1985), 435–438  isi 3
50. 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  mathnet  mathscinet  zmath; Math. USSR-Sb., 56:2 (1987), 311–331 13
1984
51. V. V. Rybakov, “A criterion for admissibility of rules in the modal system ${\rm S}4$ and intuitionistic logic”, Algebra Logika, 23:5 (1984),  546–572  mathnet  mathscinet 13
52. V. V. Rybakov, “Decidability of the problem of admissibility in finite-layered modal logics”, Algebra Logika, 23:1 (1984),  100–116  mathnet  mathscinet 3
53. V. V. Rybakov, “Admissible rules for logics containing S4.3”, Sibirsk. Mat. Zh., 25:5 (1984),  141–145  mathnet  mathscinet  zmath; Siberian Math. J., 25:5 (1984), 795–798  isi 7
1982
54. V. V. Rybakov, “Bases of quasi-identities of finite modal algebras”, Algebra Logika, 21:2 (1982),  219–227  mathnet  mathscinet
55. V. V. Rybakov, “Completeness of modal logics with prefinite width”, Mat. Zametki, 32:2 (1982),  223–228  mathnet  mathscinet  zmath; Math. Notes, 32:2 (1982), 591–593  isi 2
1981
56. V. V. Rybakov, “Admissible rules for pretabular modal logics”, Algebra Logika, 20:4 (1981),  440–464  mathnet  mathscinet 2
1978
57. V. V. Rybakov, “Modal logics with ${\rm LM}$-axioms”, Algebra Logika, 17:4 (1978),  455–467  mathnet  mathscinet
58. V. V. Rybakov, “A decidable noncompact extension of the logic ${\rm S}4$”, Algebra Logika, 17:2 (1978),  210–219  mathnet  mathscinet 1
1977
59. V. V. Rybakov, “Noncompact extensions of the logic ${\rm S}4$”, Algebra Logika, 16:4 (1977),  472–490  mathnet  mathscinet 1
1976
60. V. V. Rybakov, “Hereditarily finitely axiomatizable extensions of the logic S4”, Algebra Logika, 15:2 (1976),  185–204  mathnet  mathscinet 1
1974
61. L. L. Maksimova, V. V. Rybakov, “The lattice of normal modal logics”, Algebra Logika, 13:2 (1974),  188–216  mathnet  mathscinet 10
2025
62. S. N. Artemov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, S. P. Odintsov, V. V. Rybakov, S. O. Speranski, V. B. Shehtman, V. F. Yun, “Larisa L'vovna Maksimova (obituary)”, Uspekhi Mat. Nauk, 80:3(483) (2025),  179–182  mathnet  mathscinet; Russian Math. Surveys, 80:3 (2025), 533–536  isi
2013
63. 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  mathnet

Presentations in Math-Net.Ru
1. Admissible inference rules, projective formulas unification in multi-agent modal logics
V. V. Rybakov
Novikov-125: International Conference Dedicated to the 125th Anniversary of P.S. Novikov
August 24, 2026 17:00   
2. Multi-agent modal logic and uncertain information
Vladimir Rybakov
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 13, 2023 16:00   
3. Temporal multi-agent logics, problems satisfiability, decidability and admissibility
V. V. Rybakov
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 10, 2022 16:00   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026