Окончил математический факультет Тверского государственного университета.

Руководство научными проектами

• «Логическое следование и дедуктивные системы: синтаксические, семантические и алгоритмические аспекты», 2010–2012 гг. Поддержан фондом РФФИ.
• «Эффекты ограничения языковых средств неклассических логик», 2007–2009 гг. Поддержан фондом РФФИ.

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

• «Эффективное описание дедуктивных систем», 2011–2013 гг. Поддержан фондом РФФИ.
• «Теоретико-модельные и алгоритмические свойства неклассических логик», 2011–2013 гг. Поддержан фондом РФФИ CNRS (Франция)
• «Истолкование одних логик и теорий средствами других», 2008–2010 гг. Поддержан фондом РФФИ.
• «Геометрические модальные логики», 2006–2009 гг. Поддержан фондом РФФИ CNRS (Франция)
• «Модальные логики как средства исследования свойств расширений базисной логики Виссера», 2006–2008 гг. Поддержан фондом РФФИ.
• «Семантические, дедуктивные и алгоритмические аспекты расширений базисной логики», 2003–2005 гг. Поддержан фондом РФФИ.
• «Эффективная аксиоматизируемость логических систем», 2001–2002 гг. Поддержан фондом Минобразования.

Конференции

1. Котикова Е.А., Рыбаков М.Н. Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты // Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 года. Издательство СПбГУ, СПб, 2012.
2. Котикова Е.А., Рыбаков М.Н. Сложность проблемы истинности константных модальных формул в модели // Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции 23–26 июня 2008г. Издательство СПбГУ, СПб, 2010. С.281—283.
3. Рыбаков М.Н. Сложность фрагмента логики IPDL // Шестые Смирновские чтения по логике. М., Современные тетради, 2009. С.34—35.
4. Рыбаков М.Н. Свойства логик знания при одновременном использовании оператора распределённого знания и оператора всеобщего знания // Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции 26–28 июня 2008г. Издательство СПбГУ, СПб, 2008. С.443—444.
5. Рыбаков М.Н. Неклассические логики: их сложность и сложность их приложений. Философия математики: актуальные проблемы. Материалы Международной научной конференции 15–16 июня 2007. Издание философского факультета МГУ. С. 123–125.
6. Рыбаков М.Н. К вопросу о полноте по Крипке предикатных логик. Смирновские чтения. Материалы 5-й конференции. 20–22 июня 2007, Москва. М., ИФ РАН, 2007, с. 37–38.
7. Рыбаков М.Н. Формальная предикатная логика А.Виссера: выразительность фрагментов языка от одной одноместной буквы. Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции. СПб, 22–24 июня 2006 г. СПб., 2006. С. 386–388.
8. Гусева А.С., Рыбаков М.Н. Интуиционистские формулы от двух переменных и PSPACE-полнота // Современная логика: проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции. СПб, Издательство Санкт-Петербургского государственного университета, 2004. С.480—482.
9. Рыбаков М.Н. О сложности проблемы разрешения для базисной и формальной логик с конечным числом переменных в языке // Смирновские чтения. IV Международная конференция. М., Издательство Института философии РАН, 2003. С.49—50.
10. Рыбаков, М.Н. Чагров А.В. О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных // Колмогоров и современная математика. Международная конференция. М., Издательство МГУ, 2003.С.707—708.
11. Chagrov A.V., Rybakov M.N. Least Number of Variables for PSPACE-Hardness of Provability Problem in Systems of Modal Logic //Advances in Modal Logic. 30 Septembre — 2 Octobre 2002. Institut de Reacherche en Informatique de Toulouse, Universite Paul Sabatier, Toulouse, France, 2002, P.178—188.
12. Рыбаков М.Н., Чагров А.В. Модальные формулы без переменных и PSPACE-полнота // Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Международной научной конференции. СПб, Издательство Санкт-Петербургского университета, 2002. С.498—500.
13. Рыбаков М.Н. Рекурсивная сводимость предикатных вариантов стандартных модальных логик к классической логике предикатов // Российской математике — триста лет. Материалы юбилейной научной конференции 24–25 октября 2001 года. Тверь, Издательство Тверского госуниверситета, 2002. С.108—114.
14. Горбунов И.А., Рыбаков М.Н. Выразительность операторов знания и возможность эффективного описания логик знания // Проблемы управления и моделирования в сложных системах. Труды III Международной конференции. Самара, Самарский научный центр РАН, 2001. С.617—622.
15. Рыбаков М.Н. Разрешимость некоторых модальных предикатных логик относительно классической логики предикатов // Учёные записки Тверского государственного университета, т.6. Тверь, Издательство Тверского госуниверситета, 2000. С.8—12.
16. Рыбаков М.Н. Разрешимость интуиционистской логики предикатов относительно классической логики предикатов // Современная логика: проблемы теории, истории и применения в науке. Материалы VI Международной научной конференции. СПб, Издательство Санкт-Петербургского университета, 2000. С.247—250.

Список основных публикаций

1. Rybakov M.N. Complexity of intuitionistic propositional logic and its fragments // Journal of Applied Non-Classical Logics, vol.18, No.2—3, 2008. Lavoisier, 2008. P.267—292.
2. Rybakov M.N. Complexity of finite-variable fragments of EXPTIME-complete logics // Journal of Applied Non-Classical Logics, vol.17, No.3, 2007. Lavoisier. P.359—382.
3. Горбунов И.А., Рыбаков М.Н. Континуальные семейства логик // Логические исследования, 14. М: Наука, 2007. С.131—151.
4. Рыбаков М.Н. Сложность константного фрагмента пропозициональной динамической логики // Вестник Тверского государственного университета. Серия: Прикладная математика. Выпуск 5, № 11(39), 2007. Издательство Тверского государственного университета. С.5—17.
5. Rybakov M.N. Complexity of intuitionistic and Visser’s basic and formal logics in finitely many variables // Advances in Modal Logic, vol.6. College Publications, London, 2006. P.393—411.
6. Rybakov M.N. Complexity of the Two-Variable Fragment of Intuitionistic Propositional Logic // Computer Science Applications of Modal Logic. International Conference. September 5–9 2005. Moscow, Poncelet Laboratory of UMI 2615 and IndependentUniversity of Moscow, 2005. P.35—36.
7. Рыбаков М.Н. Погружение интуиционистской логики в её фрагмент от двух переменных и сложность этого фрагмента // Логические исследования, вып.11. М., Наука, 2004. С.247—261.
8. Рыбаков М.Н. Сложность проблемы разрешения базисной и формальной логик // Логические исследования, вып.10. М., Наука, 2003. С.158—166.
9. Рыбаков М.Н. О степени неразрешимости предикатных логик знания // Труды научно-исследовательского семинара Логического центра института философии РАН, вып.XV. М., Издательство Института философии РАН, 2001. С.79—91.
10. Chagrov A.V., Rybakov M.N. How Many Variables One Needs to Prove PSPACE-Hardness of Modal Logics? // Advances in Modal Logic, vol.4, London, King’s College Publications, 2003. P.71—82.
11. Рыбаков М.Н., Чагров А.В. Константные формулы в модальных логиках: проблема разрешения // Логические исследования, вып.9. М., Наука, 2002. С.202—220.
12. Рыбаков М.Н. Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой // Логические исследования, вып.9. М., Наука, 2002. С.179—201.
13. Рыбаков М.Н. Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей // Логические исследования, вып.8. М., Наука, 2001. С.155—167.
14. Рыбаков М.Н. Операторы всеобщего и распределённого знания: дополнительные выразительные средства в логиках знания // Информационные процессы, т.1, № 1, 2001. С.89—98.
15. Рыбаков М.Н., Чагров А.В., Стандартные переводы неклассических формул и относительная разрешимость логик // Труды научно-исследовательского семинара Логического центра Института философии РАН, вып.XIV. М., Издательство Института философии РАН, 2000. С.81—98.