О решетке нормальных модальных логик

Изучается семейство $M$ модальных логик, содержащих логику $S4$ Льюиса, и его связь с решеткой $\mathfrak L$ суперинтуиционистских логик. Доказано, что $M$ образует полную дистрибутивную решетку. Существуют два монотонных отображения $\tau$ и $\sigma$ из решетки $\mathfrak L$ суперинтуиционистских логик в $M$ и отображение $\rho$ из $M$ на $\mathfrak L$ такие, что $\tau$ есть решеточный изоморфизм, $\rho$ — гомоморфизм и выполнены условия: $\rho\tau=\rho\sigma=id_{\mathfrak L}$, $\tau\rho\leqslant id_{\mu}\leqslant\sigma\rho$. В последнем параграфе рассматриваются табличные логики из $M$. Доказано, что все они конечно аксиоматизируемы и что логики, непосредственно предшествующие табличным, табличны.