Классификация расширений модальной логики S4

Вводится естественная классификация нормальных расширений модальной логики S4 в соответствии с объемами кластеров в шкалах Крипке, доказана разрешимость классификации. Выделены основные логики в этой классификации и установлены их важные свойства: конечная аксиоматизируемость, финитная аппроксимируемость и узнаваемость.