RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Rybakov, Vladimir Vladimirovich

Statistics Math-Net.Ru
Total publications: 26
Scientific articles: 25

Number of views:
This page:1359
Abstract pages:3640
Full texts:1430
References:408
Professor
Doctor of physico-mathematical sciences (1987)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 6.01.1951
Phone: 8-(391)206-21-48
Fax: 8-(391)206-21-48
E-mail: , , ,
Website: http://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

http://www.mathnet.ru/eng/person21221
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/213041

Publications in Math-Net.Ru
2019
1. V. V. Rybakov, “Branching time agents' logic, satisfiability problem by rules in reduced form”, Sib. Èlektron. Mat. Izv., 16 (2019),  1158–1170  mathnet  isi
2018
2. M. A. Moor, V. V. Rybakov, “Many-valued multi-modal logics, satisfiability problem”, Sib. Èlektron. Mat. Izv., 15 (2018),  829–838  mathnet  isi
3. V. V. Rybakov, “Temporal multi-valued logic with lost worlds in the past”, Sib. Èlektron. Mat. Izv., 15 (2018),  436–449  mathnet  isi
4. 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
2017
5. 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
2016
6. 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
7. 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
2015
8. 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
9. S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Sib. Èlektron. Mat. Izv., 11 (2014),  434–443  mathnet
2013
10. 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
11. 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
12. 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
13. 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
2001
14. 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
2000
15. 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
16. 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
1991
17. 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
1990
18. 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
19. 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
20. 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
1986
21. 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
22. 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
1985
23. 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
24. 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
25. 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
1982
26. 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

2013
27. 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

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020