Topological product of modal logics with the McKinsey axiom
scientific article; zbMATH DE number 7854739