Публикации

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

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

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