Публикации

1. М.Н. Рыбаков. Деревья как средство моделирования неразрешимых проблем // Вестник ТвГУ. Серия: Прикладная математика, №1, 2023, с. 5–23.

DOI: 10.26456/vtpmk653 

eLibrary ID: 50515994.

2.  I. Agadzhanian, M. Rybakov, D. Shkatov. Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames // Cornell University. Series arXiv "math", arXiv:2306.13559, 2023, 7 pages.

DOI: 10.48550/arXiv.2306.13559

Web of Science Accession Number: PPRN:73494290

Scopus EID: 2-s2.0-85164427105

3. M. Rybakov, D. Serova. Tiling problems and complexity of logics (extended version) // Cornell University. Series arXiv "math", arXiv:2306.13736, 2023, 7 pages.

DOI: 10.48550/arXiv.2306.13736

Web of Science Accession Number: PPRN:73535704

Scopus EID: 2-s2.0-85164380607

4. М. Н. Рыбаков. Простой пример блокировки аргумента Крейга // Логические исследования, 29:2 (2023), 36–58.

DOI: 10.21146/2074-1472-2023-29-2-36-58

Scopus: 2-s2.0-85177752463

MathSciNet: 4686957

zbMATH: 7793831 

5. A. Zapryagaev. Some properties of Buchi arithmetics // Cornell University. Series arXiv "math", arXiv:2310.16019, 2023, 6 pages.

DOI: 10.48550/arXiv.2310.16019

6. I. Pyltsyn. Generalizations of Mezhirov's game semantics to predicate superintuitionistic logics and the Casari formula // Cornell University. Series arXiv "math", arXiv:2310.16206, 2023, 10 pages.

DOI: 10.48550/arXiv.2310.16206

7. N. Lukashov. Unification in subsystem J2 of provability logic GLB // Cornell University. Series arXiv "math", arXiv:2403.17153, 2024, 20 pages.

DOI: 10.48550/arXiv.2403.17153

8. M. Rybakov, D. Shkatov, D. Skvortsov. On the system of positive slices in the structure of superintuitionistic predicate logics // Advances in Modal Logic, Volume 15, eds. Agata Ciabattoni, David Gabelaia, and Igor Sedlár. Faculty of Arts of Charles University (Prague), 19–22 August 2024. College Publications, 2024, pp.653–674.

9. A. Gagarin. Products of Horn modal logics // Advances in Modal Logic 2024. Short Papers. Faculty of Arts of Charles University (Prague), 19–22 August 2024, pp.21–26.

10. М. Н. Рыбаков. Неразрешимость логики QLC в языке с двумя предметными переменными // IV Конференция математических центров России. Сборник тезисов (Санкт-Петербург, 6–11 августа), 2024, с.151–152.

АРХИВ ПУБЛИКАЦИЙ ПРОШЛЫХ ЛЕТ