Допустимые правила для логик, включающих S4.3

Изучаются допустимые правила вывода модальных логик, расширяющих S4.3. Доказано, что свободные алгебры соответствующих многообразий алгебр замыканий имеют конечный, базис квазитождеств. Установлено, что проблема допустимости правил разрешима во всех расширениях S4.3. Как следствие решены два вопроса Я. Порта о правилах вывода системы S.5.
Библ. 4.