Axiomatization of modal logic squares with distinguished diagonal
scientific article; zbMATH DE number 5980666