Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС С.В. Бабенышев — 1992 Algebra i Logika
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz С.В. Бабенышев — 1993 Algebra i Logika