The elimination of \textit{de re} formulas

DOI10.1023/A:1004228430102zbMath0885.03018OpenAlexW2073135871MaRDI QIDQ1368754

Michael Kaminski

Publication date: 20 November 1997

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004228430102

zbMATH Keywords

modal logicKripke semanticsSkolemization\textit{de dicto} formula\textit{de re} formula

Mathematics Subject Classification ID

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

Related Items (1)

First-order expressivity for S5-models: Modal vs. two-sorted languages

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Normal modal model theory
• Model theory for modal logic. I: The de re / de dicto distinction
• Model theory for modal logic. II: The elimination of de re modality
• Do modal distinctions collapse in Carnap's systems?
• On 'de dicto' modalities in quantified S5
• An essay in modal logic
• Modality and quantification in S5
• The elimination of De Re modalities

This page was built for publication: The elimination of \textit{de re} formulas