Notre Dame Journal of Formal Logic · 1996 · 32 citations · 6 references
HumanitiesComputer ScienceFormal MethodsLogicSemanticsFirst-order LogicModal LogicModal SemanticsPredicate LogicPropositional LogicModality Semantics
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.
6
Saharon Shelah · Annals of Mathematics · 1975 · 323 citations · Full text
Propositional quantifiers in modal logic<sup>1</sup>
Kit Fine · Theoria · 1970 · 230 citations
Humanities, Mathematics, Logic +6
Monadic theory of order and topology in ZFC
Yuri Gurevich, Saharon Shelah · Annals of Mathematical Logic · 1982 · 41 citations · Full text
Natural Sciences, Mathematics, Logic +11