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