Second-order propositional modal logic: expressiveness and completeness results
scientific article; zbMATH DE number 7036286
scientific article