1. First-Order Logics of Branching Time: On Expressive Power of Temporal Operators // Логические исследования. 2013. V.19 (Special Issue). P.68-99.
Подробно
2. Kotikova E.A., Rybakov M.N. First-Order Logics of Branching Time: On Expressive Power of Temporal Operators // Логические исследования. 2013. V.19. P.68-99.
Подробно
3. Kotikova E.A., Rybakov M.N. Kripke incompleteness of first-order calculi with temporal modalities of CTL and ATL // Логические исследования. 2015. Т.21. №1. С.86-99.
Подробно
4. Rybakov M., Shkatov D. Undecidability of QLTL and QCTL with two variables and one monadic predicate letter // Логические исследования. 2021. Т.27. №2. С.93-120.
Подробно
5. Горбунов И.А. Конечная аксиоматизируемость квазинормальных модальных логик // Логические исследования. 2019. Т.25. №1. С.88-99.
Подробно
6. Горбунов И.А. Логика, единство в трёх лицах // Логические исследования. 2018. Т.24. №1. С.9-25.
Подробно
7. Чагров А.В. Финитная аппроксимируемость нормальных модальных логик и константные формулы: пример // Логические исследования. 2015. Т.21. №1. С.79-85.
Подробно
8. Горбунов И.А. Характеристические теории и обращение подстановки // Логические исследования. 2019. Т.25. №2. С.9-25.
Подробно