Об одной классификации модальных логик

Предлагается классификация модальных логик, содержащих логику $S4$ в соответствии с их суперинтуиционистскими фрагментами и объемом сгустков в шкалах. Дается аксиоматизация наименьшей логики каждого класса. Доказывается финитная аппроксимируемость всех наименьших в своих классах логик, фрагментом которых является интуиционистская логика.