Рыбаков Михаил Николаевич

Конференции

• 2020

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

• 2019

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

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

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

• 2018

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

• Advances in Modal Logic 2018 (Bern). Доклад: 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). Доклад: On complexity of propositional linear-time temporal logic with finitely many variables

Авторские права и патенты

Участие в редколлегиях научных журналов

Опыт работы

Информация^*

• Общий стаж: 27 лет
• Научно-педагогический стаж: 25 лет