Промежуточная предикатная логика без свойств Бета.
Разрешимое некомпактное расширение логики S4.
Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.
Разрешимость некоторых неэлементарных теорий
Разрешимость некоторых элементарных теорий
Разрешимость позитивной теории свободной счетнопорожденной полугруппы
Разрешимость проблемы допустимости в конечнослойных модальных логиках.
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр
Разрешимость универсальной теории натуральных чисел со сложением и делимостью
Разрешимость эквациональной теории положительных чисел с возведением в степень.
Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров
Разрешимость элементарных теорий некоторых классов абелевых групп
Разрешимость элементарных теорий некоторых конечно-определенных алгебр.
Разрешимость элементарных теорий решеток подполугрупп.
Разрешимые классы псевдопредваренных формул
Разрешимые теории псевдо-p-адически замкнутых полей
Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
Распространение обратного метода на аксиоматические теории с равенством