Abstract
It is shown that the expressive power of second-order propositional modal logic whose modalities are S4.2 or weaker is the same as that of second-order predicate logic.
Citation
Michael Kaminski. Michael Tiomkin. "The Expressive Power of Second-Order Propositional Modal Logic." Notre Dame J. Formal Logic 37 (1) 35 - 43, Winter 1996. https://doi.org/10.1305/ndjfl/1040067314
Information
