机译:Sahlqvist correspondence theory for second-order propositional modal logic
School of Mathematics and Statistics, Taishan University, Tai’an, China;
correspondence theory; second-order propositional modal logic; ALBA algorithm; Π_2-rules; canonicity;