Сохранение допустимости правил вывода в логиках, родственных $S4.2$

Показано, что любая финитно аппроксимируемая логика, расширяющая $S4.2(Grz.2, KC)$, сохраняет все допустимые правила вывода логики $S4.2(Grz.2, KC)$, соответственно) тогда и только тогда, когда данная логика имеет так называемое семантическое свойство конакрытий. Библиогр. 3.