A Semantical Analysis of Second-Order Propositional Modal Logic

Open in new window