Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Rybakov, Vladimir Vladimirovich
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
2025
1. 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
2. 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
2024
3. 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
4. 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
5. V. V. Rybakov, “Multi-agent logics with interaction, unifiability and projectivity”, Sib. Èlektron. Mat. Izv., 21:2 (2024),  1370–1384  mathnet
6. 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
7. 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
8. 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
9. 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
10. 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
11. V. V. Rybakov, “Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы”, Algebra Logika, 61:1 (2022),  111–118  mathnet; Algebra and Logic, 61:1 (2022), 79–83
12. 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
13. 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
14. Vladimir V. Rybakov, “Satisfiability in Boolean logic (SAT problem) is polynomial”, J. Sib. Fed. Univ. Math. Phys., 14:5 (2021),  667–671  mathnet  isi
15. 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
16. 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
17. 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 6
2020
18. 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
19. 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
20. 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
21. M. A. Moor, V. V. Rybakov, “Many-valued multi-modal logics, satisfiability problem”, Sib. Èlektron. Mat. Izv., 15 (2018),  829–838  mathnet  isi 2
22. V. V. Rybakov, “Temporal multi-valued logic with lost worlds in the past”, Sib. Èlektron. Mat. Izv., 15 (2018),  436–449  mathnet  isi 7
23. 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
24. 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
25. 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
26. 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
27. 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
28. 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
29. 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
30. 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
31. 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
32. 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
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
39. 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
40. 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
41. 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
42. V. V. Rybakov, “Equations in a free topo-Boolean algebra”, Algebra Logika, 25:2 (1986),  172–204  mathnet  mathscinet 3
43. 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
44. 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 9
1985
45. 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
46. 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
47. 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
48. 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 12
1984
49. 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
50. V. V. Rybakov, “Decidability of the problem of admissibility in finite-layered modal logics”, Algebra Logika, 23:1 (1984),  100–116  mathnet  mathscinet 3
51. 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
52. V. V. Rybakov, “Bases of quasi-identities of finite modal algebras”, Algebra Logika, 21:2 (1982),  219–227  mathnet  mathscinet
53. 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
54. V. V. Rybakov, “Admissible rules for pretabular modal logics”, Algebra Logika, 20:4 (1981),  440–464  mathnet  mathscinet 2
1978
55. V. V. Rybakov, “Modal logics with ${\rm LM}$-axioms”, Algebra Logika, 17:4 (1978),  455–467  mathnet  mathscinet
56. V. V. Rybakov, “A decidable noncompact extension of the logic ${\rm S}4$”, Algebra Logika, 17:2 (1978),  210–219  mathnet  mathscinet 1
1977
57. V. V. Rybakov, “Noncompact extensions of the logic ${\rm S}4$”, Algebra Logika, 16:4 (1977),  472–490  mathnet  mathscinet 1
1976
58. V. V. Rybakov, “Hereditarily finitely axiomatizable extensions of the logic S4”, Algebra Logika, 15:2 (1976),  185–204  mathnet  mathscinet 1
1974
59. L. L. Maksimova, V. V. Rybakov, “The lattice of normal modal logics”, Algebra Logika, 13:2 (1974),  188–216  mathnet  mathscinet 10
2025
60. 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; Russian Math. Surveys, 80:3 (2025), 533–536
2013
61. 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. 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   
2. 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