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