A Semantical Analysis of Second-Order Propositional Modal Logic