Разрешимое некомпактное расширение логики ${\rm S}4$

Строится нормальная модальная логика, являющаяся расширением логики ${\rm S}4$. Доказывается, что эта логика разрешима и некомпактна (и, следовательно, неполна).