Model theory for modal logic. II: The elimination of de re modality
From MaRDI portal
Publication:1258725
zbMath0409.03007MaRDI QIDQ1258725
Publication date: 1978
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Other model constructions (03C30)
Related Items (6)
\textit{De re} language, \textit{de re} eliminability, and the essential limits of both ⋮ The elimination of \textit{de re} formulas ⋮ The expressive power of second-order propositional modal logic ⋮ First-order modal theories ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages
This page was built for publication: Model theory for modal logic. II: The elimination of de re modality
