О моделях исчисления E
О решетке нормальных модальных логик.
О семантике модальной логики
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
О сходимости позитивных схем S4 и Int
О финитной аппроксимируемости для допустимых правил вывода
Об интерполяции в нормальных модальных логиках
Об одной классификации модальных логик.
Об отношении между интуиционистскими и классическими модальными логиками.
Определимость наименьших неподвижных точек.
Основные задачи выразимости формул в неклассических логиках
Отсутствие интерполяции и свойства Бета во временных логиках с оператором "The next''
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Предтабличные расширения логики S4 Льюиса.
Принцип разделения переменных в пропозициональных логиках
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Разрешимое некомпактное расширение логики S4.
Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.
Разрешимость проблемы допустимости в конечнослойных модальных логиках.
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС