The Ackermann approach for modal logic, correspondence theory and second-order reduction
scientific article; zbMATH DE number 6037802