Базисы квазитождеств конечных модальных алгебр

Доказывается, что конечная подпрямо неразложимая модальная алгебра имеет конечный базис квазитождеств. Строится пример конечной модальной алгебры, не имеющей базиса квазитождеств от конечного числа переменных. Показывается, как построить конечную псевдобулеву алгебру с таким же свойством.