Mikhail Rybakov

Conferences

• 2023

  Тринадцатые Смирновские чтения по логике (Москва). Presentation: Трюк Крипке и разрешимость монадических фрагментов модальных и суперинтуиционистских предикатных логик

• 2021

  Двенадцатые Смирновские чтения по логике (Москва). Presentation: Algorithmic properties of QK4.3 and QS4.3

• Неразрешимость логик с унарным предикатом и двумя переменными (Тверь). Presentation: Неразрешимость логик с унарным предикатом и двумя переменными

• 2020

  Advances in Modal Logic 2020 (Хельсинки). Presentation: Algorithmic properties of first-order modal logics of the natural number line in restricted languages

• Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT) (Cape Town). Presentation: Computational properties of the logic of partial quasiary predicates

• 2019

  Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'19) (Nombolo Mdluli Conference Centre, Skukuza). Presentation: Trakhtenbrot theorem for classical languages with three individual variables

• Одиннадцатые Смирновские чтения по логике (Москва). Presentation: Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал

• Перспективы развития математического образования в Твери и Тверской области (Тверь). Presentation: Математическое образование: рекурсивная мозаика

• 2018

  15th International Colloquium on Theoretical Aspects of Computing (ICTAC) (Stellenbosch, South Africa). Presentation: Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables

• Advances in Modal Logic 2018 (Bern). Presentation: A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames

• Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT) (Port Elizabeth, South Africa). Presentation: On complexity of propositional linear-time temporal logic with finitely many variables

• 2017

  Десятые Смирновские чтения по логике (Москва). Presentation: Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой

• Перспективы развития математического образования в Твери и Тверской области. Научно-практическая конференция (Тверь). Presentation: Образование и творчество

• XII Tbilisi Symposium of Language, Logic and Computation (Lagodekhi). Presentation: An axiomatization of iteration-free PDL with loop

Editorial board membership