Метод эпсилон подстановок для исчисления предикатов с равенством
Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств
Многообразия логических матриц
Модальная логика на основе линейно упорядоченных -пространств
Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость
Модальные логики конечных слоев.
Модальные логики с LM-аксиомами.
Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении
Модальные позитивные операторы.
Наименьшие неподвижные точки в логике Гёделя-Леба
Наименьшие неподвижные точки в логике Гжегорчика и интуиционистской пропозициональной логике
Наследственно конечно-аксиоматизируемые расширения логики S4
Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
Неабелево многообразие групп имеет неразрешимую элементарную теорию.
Неаксиоматизируемость решеточно упорядочиваемых групп
Неассоциативные кольца с одним определяющим соотношением, элементарные теории которых разрешимы
Негативные модальные схемы.
Независимость постулатов натуральных исчислений
Независимые базисы для правил, допустимых в предтабличных логиках
Некомпактные расширения логики S4