2024 год

• M. Rybakov, “Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness”, Logic Journal of the IGPL, 2024 (to appear)    
• M. Rybakov, D. Shkatov, “Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite frames”, Journal of Logic and Computation, 2024 (to appear)
• M. Rybakov, D. Shkatov, “Variations on the Kripke trick”, Studia Logica, 2024 (to appear)

2023 год

• M. Rybakov, D. Shkatov, “Complexity function and complexity of validity of modal and superintuitionistic propositional logics”, Journal of Logic and Computation, 33:7 (2023), 1566–1595    
• М. Н. Рыбаков, “Деревья как средство моделирования неразрешимых проблем”, Вестник ТвГУ. Серия: Прикладная математика, 2023, № 1, 5–23      
• М. Н. Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, Логические исследования, 29:1 (2023), 114–146    
• I. Agadzhanian, M. Rybakov, D. Shkatov, “Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, Moscow, 2023, 16–19 https://scan2023.mi-ras.ru/abstracts.pdfСсылки на внешний сайт.      
• M. Rybakov, D. Serova, “Tiling problems and complexity of logics”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, Moscow, 2023, 70–72 https://scan2023.mi-ras.ru/abstracts.pdfСсылки на внешний сайт.
• M. Rybakov, D. Shkatov, “On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, 2023, 73–76 https://scan2023.mi-ras.ru/abstracts.pdfСсылки на внешний сайт.      
• М. Н. Рыбаков, Д. П. Шкатов, “Трюк Крипке и разрешимость монадических фрагментов модальных и суперинтуиционистских предикатных логик”, Тринадцатые Смирновские чтения по логике, Материалы международной научной конференции (22–24 июня 2023г., Москва), 2023, 40–44    
• M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) , 7 pp., arXiv: 2306.13736Ссылки на внешний сайт.      
• М. Н. Рыбаков, “Рекурсивная неотделимость в модальных и суперинтуиционистских предикатных логиках”, Мальцевские чтения. Тезисы докладов (Международный математический центр в Академгородке, 13–17 ноября 2023 года), СО РАН, Новосибирск, 2023, 16 http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdfСсылки на внешний сайт.
• М. Н. Рыбаков, “Простой пример блокировки аргумента Крейга”, Логические исследования, 29:2 (2023), 36–58  

2022 год

• M. Rybakov, D. Shkatov. Undecidability of the logic of partial quasiary predicates. Logic Journal of the IGPL, 30:3 (2022), 519–533          
• М. Н. Рыбаков. Сложность проблемы равенства слов в модальных и псевдобулевых алгебрах с малым числом порождающих. Известия вузов. Математика, 2022, № 5, 42–60      Ссылки на внешний сайт.
  M. Rybakov. Computational complexity of the word problem in modal and pseudo-Boolean algebras with a small number of generators. Russian Mathematics, 66:5 (2022), 33-48    Ссылки на внешний сайт.  Ссылки на внешний сайт.Ссылки на внешний сайт.
• M. Rybakov, D. Shkatov. Complexity of finite-variable fragments of products with non-transitive modal logics. Journal of Logic and Computation, 32:5 (2022), 853–870          
• M. Rybakov, D. Shkatov. Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. Studia Logica, 110 (2022), 597–598            
• M. Rybakov, D. Shkatov. Complexity of finite-variable fragments of propositional temporal and modal logics of computation. Theoretical Computer Science, 925, 10 August 2022 (2022), 45–60          
• М. Н. Рыбаков. Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных. Доклады Российской академии наук. Математика, информатика, процессы управления, 507:6 (2022), 61-65       
  M. Rybakov. Computational complexity of theories of a binary predicate with a small number of variables. Doklady Mathematics, 507:6 (2022)       
• I. Agadzhanian, M. Rybakov. Complexity of the variable-free fragment of the weak Grzegorczyk logic, 2022 , 13 pp., arXiv: 2211.14571Ссылки на внешний сайт.    
• М. Н. Рыбаков, “Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables”, Вторая конференция Математических центров России. Аннотации докладов (Москва, МГУ, МИАН, 7–11 ноября 2022 года), 2022, 73–74 https://www.mathnet.ru/ConfLogos/2047/All_sections_-_Abstracts.pdf

2021 год

• M. Rybakov, D. Shkatov. Complexity of finite-variable fragments of products with K. Journal of Logic and Computation, 31:2 (2021), 426–443             
• M. Rybakov, D. Shkatov. Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. Journal of Logic and Computation, 31:2 (2021), 494–522            
• М. Н. Рыбаков. Геометрия, наглядность и современные технологии. Перспективы развития математического образования в эпоху цифровой трансформации: материалы II Всероссийской научно-практической конференции (Тверь, 25–27 марта 2021 года), ред. Ю. В. Чемарина, А. А. Голубев, Издательство ТвГУ, Тверь, 2021, 172–176  
• M. Rybakov, D. Shkatov. Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. Journal of Logic and Computation, 31:5, July 2021 (2021), 1266–1288        
• M. Rybakov, D. Shkatov. On relationship between complexity function and complexity of validity in propositional modal logic. Logical Perspectives 2021 (Moscow, June 7 – July 8), 2021
  http://lp2021.mi-ras.ru/contributed/workshop-rybakov-shkatov.pdfСсылки на внешний сайт.
• M. Rybakov, D. Shkatov. Algorithmic properties of QK4.3 and QS4.3. Двенадцатые Смирновские чтения. Материалы Международной научной конференции. (Москва, 24–26 июня 2021 года), ред. О. М. Григорьев, Д. В. Зайцев, Ю. В. Ивлев, В. И. Шалак, Н. Е. Томова; отв.ред. В. И. Маркин, Русское общество истории и философии науки, Москва, 2021, 50–54
• M. Rybakov, D. Shkatov. Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, Логические исследования, 27:2 (2021), 93–120  
• М. Н. Рыбаков. Сложность проблемы равенства слов в многообразиях модальных алгебр. Вестник ТвГУ. Серия: Прикладная математика, 2021, № 3, 5–17      
• М. Н. Рыбаков, Д. П. Шкатов. Неразрешимость логик с унарным предикатом и двумя переменными. Математические основы информатики и информационно-коммуникационных технологий. Сборник трудов (ТвГУ, Тверь, 3–8 декабря 2021 года), 2021, 246–254  
• К. И. Александров, М. Н. Рыбаков, Д. П. Шкатов. Сложность фрагментов произведений с логикой T в языке с одной переменной. 2021 (опубликована online) , 10 с., arXiv: 2112.03833Ссылки на внешний сайт.
• M. Rybakov, D. Shkatov. Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. Studia Logica, 2021      

2020 год

• M. Rybakov, D. Shkatov. Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages. Journal of Logic and Computation, volume 30, issue 7, October 2020, pages 1305–1329.  
  
• M. Rybakov, D. Shkatov. Algorithmic properties of first-order modal logics of the natural number line in restricted languages.  Advances in Modal Logic (Helsinki, August 24–28), July 2020, 13, eds. Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu, College Publications, 2020, 523–539.
• M. Rybakov, D. Shkatov. Computational properties of the logic of partial quasiary predicates. Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT 20), September 14–16, 2020, Cape Town, South Africa, ACM, New York, NY, USA, 8 Pages, 2020.
  
• M.Rybakov, D.Shkatov. Recursive enumerability and elementary frame definability in predicate modal logic. Journal of Logic and Computation, 30:2, March 2020. С.549–560.
     
• М.Н.Рыбаков, Элемент конструктивности в математических курсах. Перспективы развития математического образования в эпоху цифровой трансформации. Материалы Всероссийской научно-практической конференции, Тверь, 27–28 марта 2020 года, ред. Ю.В.Чемарина, А.А.Голубев. Редакционно-издательское управление Тверского государственного университета, Тверь, 2020. С.176–180. 
• А.П.Коряков, И.Б.Костюков, М.Н.Рыбаков. Моделирование одновременного переноса жидкости и газа: практический подход. Программные продукты и системы, 33:1, 2020. С.96–110.
  

2019 год

• M. Rybakov, D. Shkatov. Trakhtenbrot theorem for classical languages with three individual variables. Proceedings of the South African Institute of Computer Scientists and Information Technologists 2019 (SAICSIT19). ACM, New York, NY, USA, 2019.
   
• M.Rybakov, D.Shkatov. Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. Studia Logica, 107(4), 2019. P.695–717.
          
• М.Н.Рыбаков, Д.П.Шкатов. Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал // Одиннадцатые Смирновские чтения по логике. Материалы международной научной конференции 19–21 июня 2019 года. Москва, Современные тетради, 2019. С.43–45.
• М.Н.Рыбаков. Математическое образование: рекурсивная мозаика // Перспективы развития математического образования в Твери и Тверской области. Материалы III Всероссийской научно-практической конференции. Тверь, 29–30 марта 2019 года. Тверь, Издательство ТвГУ, 2019. С.174–176.
  
• M.Rybakov. Algorithmic properties of modal logics with restricted languages. PhD thesis. University of the Witwatersrand, Johannesburg. 2019.
• M.Rybakov, D.Shkatov. Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Logic Journal of the IGPL, volume 27, issue 1, 2019, Oxford University Press. Pages 60–68.
      

2018 год

• М.Н.Рыбаков. Алгоритмические свойства линейно аппроксимируемых квазинормальных модальных логик // Вестник ТвГУ. Серия: Прикладная математика, 2018, № 4. С.87–97. 
      
• М.Н.Рыбаков, Л.А.Чагрова. Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени // Программные продукты и системы, Т.31, №3. Тверь, Издательство НИИ «Центрпрограммсистем», 2018. С.591–597.
    
• М.Н.Рыбаков. Аксиоматизируемость ненормальных и квазинормальных модальных предикатных логик первопорядково определимых классов шкал Крипке // Вестник ТвГУ. Серия: Прикладная математика, 2018, № 3. С.81–94.
       
• M.Rybakov, D.Shkatov. Complexity and expressivity of propositional dynamic logics with finitely many variables. Logic Journal of the IGPL, Volume 26, Issue 5, 25 September 2018, Oxford University Press. Pages 539–547.
        
• M.Rybakov, D.Shkatov. A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames. In: Guram Bezhanishvili, Giovanna D’Agostino, George Metcalfe, and Thomas Studer, editors, Advances in Modal Logic, volume 12, pages 531–540. College Publications, 2018.
•   
• M.Rybakov, D.Shkatov. Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables. In: B.Fischer, T.Uustalu, editors, Theoretical Aspects of Computing – ICTAC 2018. Lecture Notes in Computer Science, volume 11187. Springer, Cham, 2018. Pages 396–414.
      
• M.Rybakov, D.Shkatov. On complexity of propositional linear-time temporal logic with finitely many variables. In: J. van Niekerk, B.Haskins (eds), Proceedings of SAICSIT'18. ACM, 2018. Pages 313–316.
    
• М.Н.Рыбаков, Ю.В.Чемарина, Д.П.Шкатов. Модели времени и математическое образование // Перспективы развития математического образования в Твери и Тверской области. Материалы Второй Всероссийской научно-практической конференции. Тверь, 21 апреля 2018 года. Тверь, Издательство ТвГУ, 2018. С.173–178.
  

2017 год

• М.Н.Рыбаков. Неразрешимость модальных логик одноместного предиката // Логические исследования, т.23, №2, 2017. Москва, ИФ РАН. С.60–75.
        
• М.Н.Рыбаков. Образование и творчество // Перспективы развития математического образования в Твери и Тверской области. Выпуск I, часть II. Материалы научно-практической конференции. Тверь, 18 февраля 2017 года. Тверь, Издательство ТвГУ, 2017. С.79–82.
  
• М.Н.Рыбаков. Неразрешимость модальных предикатных логик в языке с одной одноместной буквой // Десятые Смирновские чтения по логике. Материалы международной научной конференции 15–17 июня 2017 года. Москва, Современные тетради, 2017. С.41–43.
  
• М.Н.Рыбаков, Е.А.Котикова. Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой // Десятые Смирновские чтения по логике. Материалы международной научной конференции 15–17 июня 2017 года. Москва, Современные тетради, 2017. С.43–44.
  
• M.N.Rybakov, D.P.Shkatov. On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames // Десятые Смирновские чтения по логике. Материалы международной научной конференции 15–17 июня 2017 года. Москва, Современные тетради, 2017. С.45.
  
• P.Balbiani, M.Rybakov. An axiomatization of iteration-free PDL with loop // XII Tbilisi Symposium of Language, Logic and Computation. Lagodekhi, Georgia, 18–22 September, 2017. P.49–53.

2016 год

• М.Н.Рыбаков. Способы обоснования существования математических объектов. Учебно-методическое пособие. Тверь, Издательство ТвГУ, 2016.
• М.Н.Рыбаков. Отношения, функции и операции над ними. Учебно-методическое пособие. Тверь, Издательство ТвГУ, 2016.
• Е.А.Котикова, М.Н.Рыбаков. Моделирование арифметики в языке первого порядка, обогащённого темпоральными кванторами // Вестник ТвГУ. Серия: Прикладная математика. №4. Тверь, Издательство ТвГУ, 2016. С.5–19.
      
• А.В.Духовнева, М.Н.Рыбаков, Д.П.Шкатов. Алгоритмическая выразительность некоторых фрагментов языка логики ветвящегося времени // Программные продукты и системы, Т.29, №4. Тверь, Издательство НИИ «Центрпрограммсистем», 2016. С.135–142.
    

2015 год

• E.A.Kotikova, M.N.Rybakov. Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics // Логические исследования, №21(1). Москва, Институт философии РАН, 2015. С.86–99.
      
• М.Н.Рыбаков. Погружение классической логики предикатов в логику квазиарных предикатов // Девятые Смирновские чтения по логике. Материалы международной научной конференции, 17–19 июня 2015 года. Москва, Современные тетради, 2015. С.33–34.
  
• M.N.Rybakov, D.P.Shkatov. Computational complexity of logics of nonterminating programs with restrictions on the number of propositional variables // Девятые Смирновские чтения по логике. Материалы международной научной конференции, 17–19 июня 2015 года. Москва, Современные тетради, 2015. С.34.
  

2014 год

• Е.А.Котикова, М.Н.Рыбаков. Пример использования логики как шаг в процессе её постижения // Проблеми викладання логіки та перспективи її розвитку. VІ Міжнародна науково-практична конференція (15–16 травня 2014 року). Матеріали доповідей та виступів. Київський національний університет імені Тараса Шевченка, ВПЦ «Київський університет», 2014. С.102–104.
• М.Н.Рыбаков. Неразрешимость логики квазиарных предикатов // Вестник ТвГУ. Серия: Прикладная математика, № 4. Тверь, Тверской государственный университет, 2014. С. 17–32.
    

2013 год

• E.A.Kotikova, M.N.Rybakov. First-Order Logics of Branching Time: On Expressive Power of Temporal Operators // Logical Investigations, vol.19. Moscow–St.Petersburg , Center of Humanitarian Initiatives, 2013. P.68–99.
      

2012 год

• Е.А.Котикова, М.Н.Рыбаков. Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты // Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 года. Издательство СПбГУ, СПб, 2012.

2010 год

• Е.А.Котикова, М.Н.Рыбаков. Сложность проблемы истинности константных модальных формул в модели // Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции 23–26 июня 2010г. Издательство СПбГУ, СПб, 2010. С.281–283.
  

2009 год

• М.Н.Рыбаков. Сложность фрагментов логики IPDL // Шестые Смирновские чтения по логике. М., Современные тетради, 2009. С.34–35.
  

2008 год

• М.Н.Рыбаков. Свойства логик знания при одновременном использовании оператора распределённого знания и оператора всеобщего знания // Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции 26–28 июня 2008г. Издательство СПбГУ, СПб, 2008. С.443–444.
  
• M.N.Rybakov. 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.
          

2007 год

• М.Н.Рыбаков. Неклассические логики: их сложность и сложность их приложений. // Философия математики: актуальные проблемы. Материалы Международной научной конференции 15–16 июня 2007. Издательство философского факультета МГУ. С.123–125.
  
• М.Н.Рыбаков. К вопросу о полноте по Крипке предикатных логик. // Смирновские чтения. Материалы 5-й конференции. 20–22 июня 2007, Москва. М., ИФ РАН, 2007. С.37–38.
  
• M.N.Rybakov. Complexity of finite-variable fragments of EXPTIME-complete logics // Journal of Applied Non-Classical Logics, vol.17, No.3, 2007. Lavoisier. P.359–382.
          
• И.А.Горбунов, М.Н.Рыбаков. Континуальные семейства логик // Логические исследования, 14. М: Наука, 2007. С.131–151.
    
• М.Н.Рыбаков. Сложность константного фрагмента пропозициональной динамической логики // Вестник Тверского государственного университета. Серия: Прикладная математика. Выпуск 5, № 11(39), 2007. Издательство Тверского государственного университета. С.5–17.
    

2006 год

• М.Н.Рыбаков. Формальная предикатная логика А.Виссера: выразительность фрагментов языка от одной одноместной буквы // Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции. СПб, 22–24 июня 2006 г. СПб., 2006. С. 386–388.
  
• M.N.Rybakov. 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.
        

2005 год

• М.Н.Рыбаков. Сложность пропозициональных логик с конечным числом переменных // Диссертация на соискание учёной степени кандидата физико-математических наук. Тверь, 2005.
  
• М.Н.Рыбаков. Сложность пропозициональных логик с конечным числом переменных // Автореферат диссертации на соискание учёной степени кандидата физико-математических наук. Ярославский государственный университет им. П.Г. Демидова. Ярославль, 2005.
  
• M.N.Rybakov. 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 Independent University of Moscow, 2005. P.35–36.

2004 год

• А.С.Гусева, М.Н.Рыбаков. Интуиционистские формулы от двух переменных и PSPACE-полнота // Современная логика: проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции. СПб, Издательство Санкт-Петербургского государственного университета, 2004. С.480–482.
• М.Н.Рыбаков. Погружение интуиционистской логики в её фрагмент от двух переменных и сложность этого фрагмента // Логические исследования, вып.11. М., Наука, 2004. С.247–261.
    

2003 год

• М.Н.Рыбаков. О сложности проблемы разрешения для базисной и формальной логик с конечным числом переменных в языке // Смирновские чтения. IV Международная конференция. М., Издательство Института философии РАН, 2003. С.49–50.
• М.Н.Рыбаков. Сложность проблемы разрешения базисной и формальной логик // Логические исследования, вып.10. М., Наука, 2003. С.158–166.
    
• М.Н.Рыбаков, А.В.Чагров. О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных // Колмогоров и современная математика. Международная конференция. М., Издательство МГУ, 2003.С.707–708.
  
• A.V.Chagrov, M.N.Rybakov. 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.
    

2002 год

• М.Н.Рыбаков, А.В.Чагров. Константные формулы в модальных логиках: проблема разрешения // Логические исследования, вып.9. М., Наука, 2002. С.202–220.
    
• М.Н.Рыбаков. Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой // Логические исследования, вып.9. М., Наука, 2002. С.179–201.
    
• A.V.Chagrov, M.N.Rybakov. 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.
• М.Н.Рыбаков, А.В.Чагров. Модальные формулы без переменных и PSPACE-полнота // Современная логика: проблемы теории, истории и применения в науке. Материалы VII Международной научной конференции. СПб, Издательство Санкт-Петербургского университета, 2002. С.498–500.
• М.Н.Рыбаков. Рекурсивная сводимость предикатных вариантов стандартных модальных логик к классической логике предикатов // Российской математике — триста лет. Материалы юбилейной научной конференции 24–25 октября 2001 года. Тверь, Издательство Тверского госуниверситета, 2002. С.108–114.

2001 год

• И.А.Горбунов, М.Н.Рыбаков. Выразительность операторов знания и возможность эффективного описания логик знания // Проблемы управления и моделирования в сложных системах. Труды III Международной конференции. Самара, Самарский научный центр РАН, 2001. С.617–622.
• М.Н.Рыбаков. Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей // Логические исследования, вып.8. М., Наука, 2001. С.155–167.
    
• М.Н.Рыбаков. Операторы всеобщего и распределённого знания: дополнительные выразительные средства в логиках знания // Информационные процессы, т.1, № 1, 2001. С.89–98.
    
• М.Н.Рыбаков. О степени неразрешимости предикатных логик знания // Труды научно-исследовательского семинара Логического центра Института философии РАН, вып.XV. М., Издательство Института философии РАН, 2001. С.79–91.
  

2000 год

• М.Н.Рыбаков. Разрешимость некоторых модальных предикатных логик относительно классической логики предикатов // Учёные записки Тверского государственного университета, т.6. Тверь, Издательство Тверского госуниверситета, 2000. С.8–12.
• М.Н.Рыбаков. Разрешимость интуиционистской логики предикатов относительно классической логики предикатов // Современная логика: проблемы теории, истории и применения в науке. Материалы VI Международной научной конференции. СПб, Издательство Санкт-Петербургского университета, 2000. С.247–250.
• М.Н.Рыбаков, А.В.Чагров. Стандартные переводы неклассических формул и относительная разрешимость логик // Труды научно-исследовательского семинара Логического центра Института философии РАН, вып.XIV. М., Издательство Института философии РАН, 2000. С.81–98.
  

1999 год

• М.Н.Рыбаков. Консервативность в нормальных модальных предикатных логиках // Тезисы XXXVII Международной научной студенческой конференции, Новосибирск, 1999.