Classifications of logics over Johansson’s minimal logic J and modal logics are considered. The paper contains a partial review of the results obtained after 2010. It is known that there is a duality between the lattice of normal logics and the lattice of varieties of modal algebras, as well as between the lattice of varieties of J-algebras and the lattice of J-logics. For a logic L , by V ( L ) we denote its corresponding variety of algebras.

中文翻译：

---

模态逻辑的构造分类和极小逻辑的扩展

考虑了 Johansson 的最小逻辑 J 和模态逻辑上的逻辑分类。论文对2010年以后的结果进行了部分回顾。 已知正规逻辑格与模态代数簇格之间、J-代数簇格与模态代数簇之间存在对偶性。 J-逻辑的格子。对于逻辑 L ，我们用 V ( L ) 表示其相应的代数种类。