Рыбаков Владимир Владимирович

доктор физико-математических наук, профессор
тел.: (391) 206-20-76
адрес: пр. Свободный, 79, ауд. 34-17

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

Образование

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

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

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

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

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

Диссертации

Кандидатская диссертация
Теория Модальных Логик — 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.

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

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

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