Sahlqvist correspondence theory for second-order propositional modal logic
scientific article; zbMATH DE number 7686427