Место работы и должность

• Кафедра алгебры и математической логики, профессор
  

Образование

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

Стаж работы (полных лет)

Общий: 50
По специальности: 50

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

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

Диссертации

Кандидатская диссертация

Теория Модальных Логик — 1979 г.

Докторская диссертация

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

Преподаваемые дисциплины

• Элементы теории нестандартной логики
• Математическая Логика
• Дискретная Математика
• Алгебра

Публикации

Последние публикации:

Список публикаций сформирован в автоматическом режиме. Сообщите, если заметили неточности.

Наиболее значимые публикации:

• LL Maksimova, VV Rybakov. A lattice of normal modal logics, Algebra and Logic, 13 (2), 1974, p. 105-122
• VV Rybakov. A criterion for admissibility of rules in the model system S4 and the intuitionistic logic, Algebra and Logic, 23 (5), 1984, p. 369-384
• VV Rybakov. Rules of inference with parameters for intuitionistic logic. Journal of Symbolic Logic, 1992, p. 912-923
• VV Rybakov. Admissibility of logical inference rules, Studies in Logic and Foundations of Mathematics., Vol. 136, Elsevier Publ., Amsterdam, New-York, 1997, 617 pp.
• VV Rybakov. Construction of an explicit basis for rules admissible in modal system S4, Mathematical Logic Quarterly, 47 (4), 2001, p. 441-446
• VV Rybakov. Logical consecutions in discrete linear temporal logic, The Journal of Symbolic Logic, 70 (4), 2005, p. 1137-1149
• VV Rybakov. Linear temporal logic with until and next, logical consecutions, Annals of Pure and Applied Logic, 155 (1), 2008, p. 32-45
• S Babenyshev, V Rybakov. Linear temporal logic LTL: basis for admissible rules, Journal of Logic and Computation, 2010, exq020
• S Babenyshev, V Rybakov. Unification in linear temporal logic LTL, Annals of Pure and Applied logic 162 (12), 2011, 991-1000
• S Odintsov, V Rybakov. Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+, Annals of Pure and Applied Logic, 164 (7), 2013, p. 771-784
• VV Rybakov. Writing out unifiers for formulas with coefficients in intuitionistic logic. Logic Journal of IGPL 21 (2), 2013, p. 187-198
• V Rybakov. Projective formulas and unification in linear temporal logic LTLU, Logic Journal of IGPL, Oxford Press, 22(4): 665-672 (2014)
• AN Luk’yanchuk, VV Rybakov. Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation, Siberian Mathematical Journal 56 (3), 2015, p. 455-470
• S. I. Bashmakov, A. V. Kosheleva, V. Rybakov. Projective formulas and unification in linear discrete temporal multi-agent logics, Siberian Electr. Math. Reports, 13, 2016, p. 923–929
• S. I. Bashmakov, A. V. Kosheleva, V. Rybakov. Non-unifiability in linear temporal logic of knowledge with multi-agent relations, Siberian Electr. Math. Reports, 13, 2016, 656–663
• V. Rybakov. Non-transitive linear temporal logic and logical knowledge operations. Journal of Logic and Computation. 26 (3), 2016, p. 945-958
• Vladimir V. Rybakov: Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. Logic Foundations of Computer Science (LFCS), Lecture Notes in Computer Science book series (LNCS, volume 9537), USA 2016, Springer, 364-375
• V. V. Rybakov. Study Chance Discovery in Temporal Linear Non-Transitive Logic with Agent’s Knowledge, - 2nd European Workshop on Chance Discovery and Data Synthesis (EWCDDS16), 39 – 41
• S. Odintsov, V. Rybakov. Inference rules in Nelson’s logics, admissibility and weak admissibility. -- Logica Universalis, Springer, 2015, 9 (1), 93-120
• В. В. Рыбаков. Интранзитивные временные многоагентные логики, информация и знание, разрешимость. - Сибирский математический журнал, 2017, 58 (5), 1128-1143.

Всего публикаций: 250.

Ссылка на профиль в Scopus

Ссылка на профиль в Академии Google

Участие в грантах, проектах

• Нестандартные логические системы и правила вывода — РФФИ, 1996 г. (грант № № 96-01-00228)
• EPSRC research grant "Исследования приложений математической логики в CS и Al" — Манчестерский городской университет, 2008-2011 (грант № № EP/F014406/1)

Всего грантов: 2.