The expressive power of second-order propositional modal logic
From MaRDI portal
Publication:1924326
DOI10.1305/ndjfl/1040067314zbMath0895.03005MaRDI QIDQ1924326
Michael Kaminski, Michael Tiomkin
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
modal logic; propositional quantifiers; individual concepts; modal first-order logic; classical second-order logic; world-relative domain semantics
03B45: Modal logic (including the logic of norms)
Related Items
Defining relevant implication in a propositionally quantified S4, Propositional quantification in the topological semantics for \(\mathbf S4\), Expressivity of second order propositional modal logic
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