Базисы допустимых правил модальной системы Grz и интуиционистской логики
Допустимые правила для логик, включающих S4.3.
Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.
Базы допустимых правил логик S4 и Int
Некомпактные расширения логики S4
Урввнения в свободной топобулевой алгебре.
Разрешимое некомпактное расширение логики S4.
Модальные логики с LM-аксиомами.
Разрешимость проблемы допустимости в конечнослойных модальных логиках.
Наследственно конечно-аксиоматизируемые расширения логики S4
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Допустимые правила предтабличных модальных логик
Базисы квазитождеств конечных модальных алгебр.
Информационные фреймы Барвайса и модальные логики.
О решетке нормальных модальных логик.
Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики
О финитной аппроксимируемости для допустимых правил вывода
Независимые базисы для правил, допустимых в предтабличных логиках
Page 1