A lattice of normal modal logics
scientific article; zbMATH DE number 3492650