Undecidability of the completeness problem of modal logic
Using the possibility theory in fuzzy temporal reasoning
Weak decidability of some modal extention of trigonometry
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
Базисы допустимых правил вывода табличных модальных логик глубины 2.
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Базисы квазитождеств конечных модальных алгебр.
Базы допустимых правил логик S4 и Int
Допустимые правила для логик, включающих S4.3.
Допустимые правила предтабличных модальных логик
Интерполяционные теоремы в модальных логиках. Достаточные условия
Интерполяционные теоремы в модальных логиках и амальгамируемые многообразия топобулевых алгебр.
Интерполяция в бесконечнослойных расширениях логики доказуемости
Информационные фреймы Барвайса и модальные логики.
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Магариевы и -псевдобулевы алгебры.
Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств