Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic

Zhiguang Zhao

Modal logic with propositional quantifiers (i.e. second-order propositional modal logic (SOPML)) has been considered since the early time of modal logic. Its expressive power and c…