Иерархии программных логик
Из чего вытекает закон исключенного третьего?
Интерполяционное свойство и суперинтуиционистские предикатные логики
Интерполяционные теоремы в модальных логиках. Достаточные условия
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Интерполяция в бесконечнослойных расширениях логики доказуемости
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
Информационные фреймы Барвайса и модальные логики.
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
Исчисление с квантором элементарной эквивалентности
Исчисления с монотонными выводами и их экономическая интерпретация
К теории моделей для интуиционисткой логоки
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Классификация полных по Новикову логик с дополнительными логическими константами
Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка.
Конструктивные модели полных разрешимых теорий.
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Критерий автоустойчивости 1-разрешимых моделей
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Критерий сильной конструктивизируемости однородной модели.