Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Rybakov, Vladimir Vladimirovich
Statistics Math-Net.Ru
Total publications: 57
Scientific articles: 56
Presentations: 2

Number of views:
This page:3864
Abstract pages:8575
Full texts:3384
References:837
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
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/213041
https://orcid.org/0000-0002-6654-9712

Publications in Math-Net.Ru Citations
2024
1. 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
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  mathnet
3. V. V. Rybakov, “Admissibility and unification in the modal logics related to S4.2”, Sibirsk. Mat. Zh., 65:1 (2024),  198–206  mathnet
2023
4. V. V. Rybakov, “Multi-agent temporal logics, information, unification, and projectivity”, Algebra Logika, 62:3 (2023),  424–431  mathnet
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  mathnet
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  mathnet
2022
7. V. V. Rybakov, “Dynamic temporal logical operations in multi-agent logics”, Algebra Logika, 61:5 (2022),  600–618  mathnet
8. V. V. Rybakov, “Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы”, Algebra Logika, 61:1 (2022),  111–118  mathnet
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  mathnet  isi
10. 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
11. Vladimir V. Rybakov, “Satisfiability in Boolean logic (SAT problem) is polynomial”, J. Sib. Fed. Univ. Math. Phys., 14:5 (2021),  667–671  mathnet  isi
12. 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
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  mathnet  isi
14. 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 4
2020
15. 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 3
16. 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
17. V. V. Rybakov, “Branching time agents' logic, satisfiability problem by rules in reduced form”, Sib. Èlektron. Mat. Izv., 16 (2019),  1158–1170  mathnet  isi 8
2018
18. M. A. Moor, V. V. Rybakov, “Many-valued multi-modal logics, satisfiability problem”, Sib. Èlektron. Mat. Izv., 15 (2018),  829–838  mathnet  isi 1
19. V. V. Rybakov, “Temporal multi-valued logic with lost worlds in the past”, Sib. Èlektron. Mat. Izv., 15 (2018),  436–449  mathnet  isi 7
20. 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
21. 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 18
2016
22. 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
23. 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
24. 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
25. 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
26. 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
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  mathnet
2002
28. 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
29. 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
30. 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
31. 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
32. 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
33. 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
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  mathnet  mathscinet  zmath; Siberian Math. J., 32:2 (1991), 297–308  isi 3
1990
35. 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
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  mathnet  mathscinet  zmath; Math. USSR-Izv., 37:3 (1991), 693–703 1
37. 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
38. 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
1986
39. V. V. Rybakov, “Equations in a free topo-Boolean algebra”, Algebra Logika, 25:2 (1986),  172–204  mathnet  mathscinet 3
40. 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
41. 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 8
1985
42. 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
43. 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
44. 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 2
45. 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
46. 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 12
47. V. V. Rybakov, “Decidability of the problem of admissibility in finite-layered modal logics”, Algebra Logika, 23:1 (1984),  100–116  mathnet  mathscinet 3
48. 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
49. V. V. Rybakov, “Bases of quasi-identities of finite modal algebras”, Algebra Logika, 21:2 (1982),  219–227  mathnet  mathscinet
50. 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
51. V. V. Rybakov, “Admissible rules for pretabular modal logics”, Algebra Logika, 20:4 (1981),  440–464  mathnet  mathscinet 2
1978
52. V. V. Rybakov, “Modal logics with ${\rm LM}$-axioms”, Algebra Logika, 17:4 (1978),  455–467  mathnet  mathscinet
53. V. V. Rybakov, “A decidable noncompact extension of the logic ${\rm S}4$”, Algebra Logika, 17:2 (1978),  210–219  mathnet  mathscinet 1
1977
54. V. V. Rybakov, “Noncompact extensions of the logic ${\rm S}4$”, Algebra Logika, 16:4 (1977),  472–490  mathnet  mathscinet 1
1976
55. V. V. Rybakov, “Hereditarily finitely axiomatizable extensions of the logic S4”, Algebra Logika, 15:2 (1976),  185–204  mathnet  mathscinet 1
1974
56. L. L. Maksimova, V. V. Rybakov, “The lattice of normal modal logics”, Algebra Logika, 13:2 (1974),  188–216  mathnet  mathscinet 9
2013
57. 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
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024