математическая логика модальные логики временные логики информатика универсальная алгебра интуиционистские и паранепротиворечивые логики представление знаний верификация информации.
Коды УДК:
510.6, 512, 517.11, 519.48, 510.643
Основные темы научной работы
математическая логика
модальные логики
временные логики
информатика
универсальная алгебра
интуиционистские и паранепротиворечивые логики
представление знаний
верификация информации
Научная биография:
Образование:
Новосибирский государственный университет — Математика, квалификация "Математика, прикладная математика", 1973 г.
Стаж работы (полных лет) Общий: 43, По специальности: 43
Научные направления, профессиональные интересы
Допустимость и производность правил вывода в логических системах
Логико-алгебраические проблемы искусственного интеллекта
Унификационные проблемы в нестандартных логиках
Модальная логика
Временная логика
Конструктивная логика
Логика в Компьютер Сайенс
Информатика
Искусственный Интеллект
Представление и Анализ Информации
Диссертации
Кандидатская диссертация
Теория Модальных Логик — 1979 г.
Докторская диссертация
Допустимые правила модальных и суперинтуиционистских логик — 1988 г.
Основные публикации:
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
N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Известия Иркутского государственного университета. Серия Математика, 49 (2024), 124–134
2.
Vladimir R. Kiyatkin, Vladimir V. Rybakov, “Interval multi-agent logic with reliability operator”, Журн. СФУ. Сер. Матем. и физ., 17:5 (2024), 679–683
3.
В. В. Рыбаков, “Допустимость и унификация в модальных логиках, близких к $S4.2$”, Сиб. матем. журн., 65:1 (2024), 198–206
2023
4.
В. В. Рыбаков, “Многоагентные временные логики, информация, унифицируемость и проективность”, Алгебра и логика, 62:3 (2023), 424–431
5.
Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 108–115
6.
Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 98–107
В. В. Рыбаков, “Динамические временные операции в мультиагентных логиках”, Алгебра и логика, 61:5 (2022), 600–618
8.
В. В. Рыбаков, “Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы”, Алгебра и логика, 61:1 (2022), 111–118
9.
Vladimir V. Rybakov, “Multi-agents' temporal logic using operations of static agents' knowledge”, Журн. СФУ. Сер. Матем. и физ., 15:1 (2022), 114–124
10.
В. В. Рыбаков, “Многоагентные временные логики, проблемы унификации и допустимости”, Сиб. матем. журн., 63:4 (2022), 924–934; 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
12.
Vladimir V. Rybakov, “A short essay towards if $P$ not equal $NP$”, Журн. СФУ. Сер. Матем. и физ., 14:2 (2021), 258–260
13.
Vladimir V. Rybakov, “A note on computation MTs with time in instructions or with tapes of fixed length”, Журн. СФУ. Сер. Матем. и физ., 14:1 (2021), 69–73
14.
В. В. Рыбаков, “Логики ветвящегося времени с мультиагентными отношениями временной достижимости”, Сиб. матем. журн., 62:3 (2021), 619–628; V. V. Rybakov, “Branching time logics with multiagent temporal accessibility relations”, Siberian Math. J., 62:3 (2021), 503–510
В. В. Рыбаков, “Мультиагентные временные нетранзитивные линейные логики, проблема допустимости”, Алгебра и логика, 59:1 (2020), 123–141; V. V. Rybakov, “Multi-agent temporal nontransitive linear logics and the
admissibility problem”, Algebra and Logic, 59:1 (2020), 87–100
В. В. Рыбаков, “Временные мультиагентные логики с мультиозначиваниями”, Сиб. матем. журн., 59:4 (2018), 897–911; V. V. Rybakov, “Multiagent temporal logics with multivaluations”, Siberian Math. J., 59:4 (2018), 710–720
В. В. Рыбаков, “Интранзитивные временные многоагентные логики, информация и знание, разрешимость”, Сиб. матем. журн., 58:5 (2017), 1128–1143; V. V. Rybakov, “Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms”, Siberian Math. J., 58:5 (2017), 875–886
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Сиб. электрон. матем. изв., 13 (2016), 923–929
S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Сиб. электрон. матем. изв., 13 (2016), 656–663
А. Н. Лукьянчук, В. В. Рыбаков, “Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени”, Сиб. матем. журн., 56:3 (2015), 573–593; 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
2014
25.
S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Сиб. электрон. матем. изв., 11 (2014), 434–443
David McLean, Vladimir V. Rybakov, “Computing Truth of Logical Statements in Multi-Agents' Environment”, Журн. СФУ. Сер. Матем. и физ., 6:3 (2013), 315–328
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
2002
28.
В. В. Рыбаков, “Информационные фреймы Барвайса и модальные логики”, Алгебра и логика, 41:5 (2002), 585–609; V. V. Rybakov, “Barwise's Information Frames and Modal Logics”, Algebra and Logic, 41:5 (2002), 323–336
В. В. Рыбаков, В. В. Римацкий, “Сохранение допустимости правил вывода в логиках, родственных $S4.2$”, Сиб. матем. журн., 43:2 (2002), 446–453; 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
В. В. Рыбаков, В. Р. Кияткин, Т. Онер, “О финитной аппроксимируемости для допустимых правил вывода”, Алгебра и логика, 40:5 (2001), 593–618; V. V. Rybakov, V. R. Kiyatkin, T. Oner, “Residual Finiteness for Admissible Inference Rules”, Algebra and Logic, 40:5 (2001), 334–347
В. В. Рыбаков, М. Терзилер, В. В. Римацкий, “Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики”, Алгебра и логика, 39:6 (2000), 720–740; 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
32.
В. В. Рыбаков, В. Р. Кияткин, М. Терзилер, “Независимые базисы для правил, допустимых в предтабличных логиках”, Алгебра и логика, 39:2 (2000), 206–226; V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Independent bases for admissible rules in pretable logics”, Algebra and Logic, 39:2 (2000), 119–130
В. В. Рыбаков, “Семантические критерии допустимости правил вывода в логиках $\mathbf{S4}$ и $\mathbf{Int}$”, Матем. заметки, 50:1 (1991), 84–91; V. V. Rybakov, “Semantic admissibility criteria for deduction rules in $\mathbf{S4}$ and $\mathbf{Int}$”, Math. Notes, 50:1 (1991), 714–718
34.
В. В. Рыбаков, “Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике”, Сиб. матем. журн., 32:2 (1991), 140–153; 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
В. В. Рыбаков, “Допустимость правил вывода с параметрами в интуиционистской логике
и интуиционистские модели Крипке”, Докл. АН СССР, 312:1 (1990), 42–45; 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; 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
В. В. Рыбаков, “Допустимость правил вывода и логические уравнения в модальных логиках, аксиоматизирующих доказуемость”, Изв. АН СССР. Сер. матем., 54:2 (1990), 357–377; V. V. Rybakov, “Admissibility of rules of inference, and logical equations, in modal logics axiomatizing provability”, Math. USSR-Izv., 36:2 (1991), 369–390
В. В. Рыбаков, “Разрешимость по допустимости модальной системы $\mathrm{Grz}$ и интуиционистской логики”, Изв. АН СССР. Сер. матем., 50:3 (1986), 598–616; V. V. Rybakov, “Decidability of admissibility in the modal system $\mathrm{Grz}$ and in intuitionistic logic”, Math. USSR-Izv., 28:3 (1987), 589–608
В. В. Рыбаков, “Критерий допустимости правил вывода в модальной и интуиционистской логике”, Докл. АН СССР, 284:3 (1985), 538–541
44.
В. В. Рыбаков, “Элементарные теории свободных топобулевых и псевдобулевых алгебр”, Матем. заметки, 37:6 (1985), 797–802; V. V. Rybakov, “Elementary theories of free topo-Boolean and pseudo-Boolean algebras”, Math. Notes, 37:6 (1985), 435–438
В. В. Рыбаков, “Базисы допустимых правил модальной системы Grz и интуиционистской логики”, Матем. сб., 128(170):3(11) (1985), 321–338; V. V. Rybakov, “Bases of admissible rules of the modal system Grz and of intuitionistic logic”, Math. USSR-Sb., 56:2 (1987), 311–331
В. В. Рыбаков, “Допустимые правила для логик, включающих S4.3”, Сиб. матем. журн., 25:5 (1984), 141–145; V. V. Rybakov, “Admissible rules for logics containing S4.3”, Siberian Math. J., 25:5 (1984), 795–798
В. В. Рыбаков, “Базисы квазитождеств конечных модальных алгебр”, Алгебра и логика, 21:2 (1982), 219–227
50.
В. В. Рыбаков, “Полнота модальных логик предконечной ширины”, Матем. заметки, 32:2 (1982), 223–228; V. V. Rybakov, “Completeness of modal logics with prefinite width”, Math. Notes, 32:2 (1982), 591–593
П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013), 30–34
Обратная связь: