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