Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Рыбаков Владимир Владимирович

В базах данных Math-Net.Ru
Публикаций: 57
Научных статей: 56
Лекций и докладов: 2

Статистика просмотров:
Эта страница:3854
Страницы публикаций:8556
Полные тексты:3382
Списки литературы:835
профессор
доктор физико-математических наук (1987)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 6.01.1951
E-mail: , , ,
Сайт: https://math.sfu-kras.ru/node/303
Ключевые слова: математическая логика модальные логики временные логики информатика универсальная алгебра интуиционистские и паранепротиворечивые логики представление знаний верификация информации.
Коды УДК: 510.6, 512, 517.11, 519.48, 510.643

Основные темы научной работы

математическая логика модальные логики временные логики информатика универсальная алгебра интуиционистские и паранепротиворечивые логики представление знаний верификация информации

Научная биография:

Образование: Новосибирский государственный университет — Математика, квалификация "Математика, прикладная математика", 1973 г.

Стаж работы (полных лет) Общий: 43, По специальности: 43

Научные направления, профессиональные интересы

Допустимость и производность правил вывода в логических системах Логико-алгебраические проблемы искусственного интеллекта Унификационные проблемы в нестандартных логиках Модальная логика Временная логика Конструктивная логика Логика в Компьютер Сайенс Информатика Искусственный Интеллект Представление и Анализ Информации

Диссертации

Кандидатская диссертация Теория Модальных Логик — 1979 г. Докторская диссертация Допустимые правила модальных и суперинтуиционистских логик — 1988 г.

   
Основные публикации:
  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/rus/person21221
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/213041
https://orcid.org/0000-0002-6654-9712

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Известия Иркутского государственного университета. Серия Математика, 49 (2024),  124–134  mathnet
2. Vladimir R. Kiyatkin, Vladimir V. Rybakov, “Interval multi-agent logic with reliability operator”, Журн. СФУ. Сер. Матем. и физ., 17:5 (2024),  679–683  mathnet
3. В. В. Рыбаков, “Допустимость и унификация в модальных логиках, близких к $S4.2$”, Сиб. матем. журн., 65:1 (2024),  198–206  mathnet
2023
4. В. В. Рыбаков, “Многоагентные временные логики, информация, унифицируемость и проективность”, Алгебра и логика, 62:3 (2023),  424–431  mathnet
5. Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Известия Иркутского государственного университета. Серия Математика, 44 (2023),  108–115  mathnet
6. Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Известия Иркутского государственного университета. Серия Математика, 44 (2023),  98–107  mathnet
2022
7. В. В. Рыбаков, “Динамические временные операции в мультиагентных логиках”, Алгебра и логика, 61:5 (2022),  600–618  mathnet
8. В. В. Рыбаков, “Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы”, Алгебра и логика, 61:1 (2022),  111–118  mathnet
9. Vladimir V. Rybakov, “Multi-agents' temporal logic using operations of static agents' knowledge”, Журн. СФУ. Сер. Матем. и физ., 15:1 (2022),  114–124  mathnet  isi
10. В. В. Рыбаков, “Многоагентные временные логики, проблемы унификации и допустимости”, Сиб. матем. журн., 63:4 (2022),  924–934  mathnet; V. V. Rybakov, “Multiagent temporal logics, unification problems, and admissibilities”, Siberian Math. J., 63:4 (2022), 769–776
2021
11. Vladimir V. Rybakov, “Satisfiability in Boolean logic (SAT problem) is polynomial”, Журн. СФУ. Сер. Матем. и физ., 14:5 (2021),  667–671  mathnet  isi
12. Vladimir V. Rybakov, “A short essay towards if $P$ not equal $NP$”, Журн. СФУ. Сер. Матем. и физ., 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”, Журн. СФУ. Сер. Матем. и физ., 14:1 (2021),  69–73  mathnet  isi
14. В. В. Рыбаков, “Логики ветвящегося времени с мультиагентными отношениями временной достижимости”, Сиб. матем. журн., 62:3 (2021),  619–628  mathnet  elib; V. V. Rybakov, “Branching time logics with multiagent temporal accessibility relations”, Siberian Math. J., 62:3 (2021), 503–510  isi  scopus 4
2020
15. В. В. Рыбаков, “Мультиагентные временные нетранзитивные линейные логики, проблема допустимости”, Алгебра и логика, 59:1 (2020),  123–141  mathnet; V. V. Rybakov, “Multi-agent temporal nontransitive linear logics and the admissibility problem”, 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”, Сиб. электрон. матем. изв., 17 (2020),  923–932  mathnet  isi 4
2019
17. V. V. Rybakov, “Branching time agents' logic, satisfiability problem by rules in reduced form”, Сиб. электрон. матем. изв., 16 (2019),  1158–1170  mathnet  isi 8
2018
18. M. A. Moor, V. V. Rybakov, “Many-valued multi-modal logics, satisfiability problem”, Сиб. электрон. матем. изв., 15 (2018),  829–838  mathnet  isi 1
19. V. V. Rybakov, “Temporal multi-valued logic with lost worlds in the past”, Сиб. электрон. матем. изв., 15 (2018),  436–449  mathnet  isi 7
20. В. В. Рыбаков, “Временные мультиагентные логики с мультиозначиваниями”, Сиб. матем. журн., 59:4 (2018),  897–911  mathnet  elib; V. V. Rybakov, “Multiagent temporal logics with multivaluations”, Siberian Math. J., 59:4 (2018), 710–720  isi  scopus 14
2017
21. В. В. Рыбаков, “Интранзитивные временные многоагентные логики, информация и знание, разрешимость”, Сиб. матем. журн., 58:5 (2017),  1128–1143  mathnet  elib; V. V. Rybakov, “Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms”, 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”, Сиб. электрон. матем. изв., 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”, Сиб. электрон. матем. изв., 13 (2016),  656–663  mathnet  isi  scopus 2
2015
24. А. Н. Лукьянчук, В. В. Рыбаков, “Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени”, Сиб. матем. журн., 56:3 (2015),  573–593  mathnet  mathscinet  elib; A. N. Luk'yanchuk, V. V. Rybakov, “Admissible inference rules in the linear logic of knowledge and time $LTK_r$ with intransitive time relation”, 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}$”, Сиб. электрон. матем. изв., 11 (2014),  434–443  mathnet 1
2013
26. David McLean, Vladimir V. Rybakov, “Computing Truth of Logical Statements in Multi-Agents' Environment”, Журн. СФУ. Сер. Матем. и физ., 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”, Журн. СФУ. Сер. Матем. и физ., 1:4 (2008),  399–409  mathnet
2002
28. В. В. Рыбаков, “Информационные фреймы Барвайса и модальные логики”, Алгебра и логика, 41:5 (2002),  585–609  mathnet  mathscinet  zmath; V. V. Rybakov, “Barwise's Information Frames and Modal Logics”, Algebra and Logic, 41:5 (2002), 323–336  scopus 1
29. В. В. Рыбаков, В. В. Римацкий, “Сохранение допустимости правил вывода в логиках, родственных $S4.2$”, Сиб. матем. журн., 43:2 (2002),  446–453  mathnet  mathscinet  zmath; V. V. Rybakov, V. V. Rimatskii, “Preservation of admissibility of inference rules in the logics similar to $S4.2$”, Siberian Math. J., 43:2 (2002), 357–362  isi 2
2001
30. В. В. Рыбаков, В. Р. Кияткин, Т. Онер, “О финитной аппроксимируемости для допустимых правил вывода”, Алгебра и логика, 40:5 (2001),  593–618  mathnet  mathscinet  zmath; V. V. Rybakov, V. R. Kiyatkin, T. Oner, “Residual Finiteness for Admissible Inference Rules”, Algebra and Logic, 40:5 (2001), 334–347  scopus 1
2000
31. В. В. Рыбаков, М. Терзилер, В. В. Римацкий, “Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики”, Алгебра и логика, 39:6 (2000),  720–740  mathnet  mathscinet  zmath; V. V. Rybakov, M. Terziler, V. V. Rimatskii, “DescrIbing a basis in semireduced form for inference rules of intuitionistic logic”, Algebra and Logic, 39:6 (2000), 412–422  scopus
32. В. В. Рыбаков, В. Р. Кияткин, М. Терзилер, “Независимые базисы для правил, допустимых в предтабличных логиках”, Алгебра и логика, 39:2 (2000),  206–226  mathnet  mathscinet  zmath; V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Independent bases for admissible rules in pretable logics”, Algebra and Logic, 39:2 (2000), 119–130  scopus 3
1991
33. В. В. Рыбаков, “Семантические критерии допустимости правил вывода в логиках $\mathbf{S4}$ и $\mathbf{Int}$”, Матем. заметки, 50:1 (1991),  84–91  mathnet  mathscinet  zmath; V. V. Rybakov, “Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$”, Math. Notes, 50:1 (1991), 714–718  isi
34. В. В. Рыбаков, “Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике”, Сиб. матем. журн., 32:2 (1991),  140–153  mathnet  mathscinet  zmath; V. V. Rybakov, “Decidability of logical equations in the modal system $\operatorname{Grz}$ and in intuitionistic logic”, Siberian Math. J., 32:2 (1991), 297–308  isi 3
1990
35. В. В. Рыбаков, “Допустимость правил вывода с параметрами в интуиционистской логике и интуиционистские модели Крипке”, Докл. АН СССР, 312:1 (1990),  42–45  mathnet  mathscinet  zmath; V. V. Rybakov, “Admissibility of inference rules with parameters in intuitionistic logic, and intuitionistic Kripke models”, Dokl. Math., 41:3 (1990), 421–424
36. В. В. Рыбаков, “Критерии допустимости правил вывода с параметрами в интуиционистском исчислении высказываний”, Изв. АН СССР. Сер. матем., 54:6 (1990),  1331–1341  mathnet  mathscinet  zmath; V. V. Rybakov, “Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus”, Math. USSR-Izv., 37:3 (1991), 693–703 1
37. В. В. Рыбаков, “Допустимость правил вывода и логические уравнения в модальных логиках, аксиоматизирующих доказуемость”, Изв. АН СССР. Сер. матем., 54:2 (1990),  357–377  mathnet  mathscinet  zmath; V. V. Rybakov, “Admissibility of rules of inference, and logical equations, in modal logics axiomatizing provability”, Math. USSR-Izv., 36:2 (1991), 369–390 2
1989
38. В. В. Рыбаков, “О допустимости правил вывода в модальной системе $G$”, Тр. Ин-та математики, 12 (1989),  120–138  mathnet  mathscinet  zmath
1986
39. В. В. Рыбаков, “Уравнения в свободной топобулевой алгебре”, Алгебра и логика, 25:2 (1986),  172–204  mathnet  mathscinet 3
40. В. В. Рыбаков, “Уравнения в свободной топобулевой алгебре и проблема подстановки”, Докл. АН СССР, 287:3 (1986),  554–557  mathnet  mathscinet  zmath 2
41. В. В. Рыбаков, “Разрешимость по допустимости модальной системы $\mathrm{Grz}$ и интуиционистской логики”, Изв. АН СССР. Сер. матем., 50:3 (1986),  598–616  mathnet  mathscinet  zmath; V. V. Rybakov, “Decidability of admissibility in the modal system $\mathrm{Grz}$ and in intuitionistic logic”, Math. USSR-Izv., 28:3 (1987), 589–608 8
1985
42. В. В. Рыбаков, “Базисы допустимых правил логик ${\rm S}4$ и ${\rm Int}$”, Алгебра и логика, 24:1 (1985),  87–107  mathnet  mathscinet 10
43. В. В. Рыбаков, “Критерий допустимости правил вывода в модальной и интуиционистской логике”, Докл. АН СССР, 284:3 (1985),  538–541  mathnet  mathscinet  zmath
44. В. В. Рыбаков, “Элементарные теории свободных топобулевых и псевдобулевых алгебр”, Матем. заметки, 37:6 (1985),  797–802  mathnet  mathscinet  zmath; V. V. Rybakov, “Elementary theories of free topo-Boolean and pseudo-Boolean algebras”, Math. Notes, 37:6 (1985), 435–438  isi 2
45. В. В. Рыбаков, “Базисы допустимых правил модальной системы Grz и интуиционистской логики”, Матем. сб., 128(170):3(11) (1985),  321–338  mathnet  mathscinet  zmath; V. V. Rybakov, “Bases of admissible rules of the modal system Grz and of intuitionistic logic”, Math. USSR-Sb., 56:2 (1987), 311–331 12
1984
46. В. В. Рыбаков, “Критерий допустимости правил в модальной системе ${\rm S}4$ и интуиционистской логике”, Алгебра и логика, 23:5 (1984),  546–572  mathnet  mathscinet 12
47. В. В. Рыбаков, “Разрешимость проблемы допустимости в конечнослойных модальных логиках”, Алгебра и логика, 23:1 (1984),  100–116  mathnet  mathscinet 3
48. В. В. Рыбаков, “Допустимые правила для логик, включающих S4.3”, Сиб. матем. журн., 25:5 (1984),  141–145  mathnet  mathscinet  zmath; V. V. Rybakov, “Admissible rules for logics containing S4.3”, Siberian Math. J., 25:5 (1984), 795–798  isi 7
1982
49. В. В. Рыбаков, “Базисы квазитождеств конечных модальных алгебр”, Алгебра и логика, 21:2 (1982),  219–227  mathnet  mathscinet
50. В. В. Рыбаков, “Полнота модальных логик предконечной ширины”, Матем. заметки, 32:2 (1982),  223–228  mathnet  mathscinet  zmath; V. V. Rybakov, “Completeness of modal logics with prefinite width”, Math. Notes, 32:2 (1982), 591–593  isi 2
1981
51. В. В. Рыбаков, “Допустимые правила предтабличных модальных логик”, Алгебра и логика, 20:4 (1981),  440–464  mathnet  mathscinet 2
1978
52. В. В. Рыбаков, “Модальные логики с LM-аксиомами”, Алгебра и логика, 17:4 (1978),  455–467  mathnet  mathscinet
53. В. В. Рыбаков, “Разрешимое некомпактное расширение логики ${\rm S}4$”, Алгебра и логика, 17:2 (1978),  210–219  mathnet  mathscinet 1
1977
54. В. В. Рыбаков, “Некомпактные расширения логики $S4$”, Алгебра и логика, 16:4 (1977),  472–490  mathnet  mathscinet 1
1976
55. В. В. Рыбаков, “Наследственно конечно-аксиоматизируемые расширения логики $S4$”, Алгебра и логика, 15:2 (1976),  185–204  mathnet  mathscinet 1
1974
56. Л. Л. Максимова, В. В. Рыбаков, “О решетке нормальных модальных логик”, Алгебра и логика, 13:2 (1974),  188–216  mathnet  mathscinet 9

2013
57. П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013),  30–34  mathnet

Доклады и лекции в базе данных Math-Net.Ru
1. Multi-agent modal logic and uncertain information
Vladimir Rybakov
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
13 июня 2023 г. 16:00   
2. Temporal multi-agent logics, problems satisfiability, decidability and admissibility
В. В. Рыбаков
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
10 ноября 2022 г. 16:00   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024