Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.
Разрешимость проблемы допустимости в конечнослойных модальных логиках.
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
Роль детерминизма в языках запросов для баз данных.
Семантика для первого квартета Т. Элиота.
Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
Синтаксис и семантика модальных логик, содержащих S4
Синтаксис и семантика суперинтуиционистских логик
Структуры с импликацией.
Явные определения неявно определимых объектов в некоторых модальных логиках.