The expressive power of second-order propositional modal logic

DOI10.1305/ndjfl/1040067314zbMath0895.03005OpenAlexW2006418637MaRDI QIDQ1924326

Michael Tiomkin, Michael Kaminski

Publication date: 2 September 1998

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040067314

zbMATH Keywords

modal logicpropositional quantifiersindividual conceptsmodal first-order logicclassical second-order logicworld-relative domain semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Propositional quantification in the topological semantics for \(\mathbf S4\), An axiom system for basic hybrid logic with propositional quantifiers, A modal loosely guarded fragment of second-order propositional modal logic, Logic talk, Second-order propositional modal logic: expressiveness and completeness results, On the logic of belief and propositional quantification, Defining relevant implication in a propositionally quantified S4, Expressivity of second order propositional modal logic, Unnamed Item, COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS, Propositional quantification in bimodal S5, A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers, LOGICS FOR PROPOSITIONAL CONTINGENTISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The monadic theory of order
• Model theory for modal logic. I: The de re / de dicto distinction
• Model theory for modal logic. II: The elimination of de re modality
• Interpreting second-order logic in the monadic theory of order
• Monadic theory of order and topology in ZFC
• Propositional quantifiers in modal logic1