Model theory for modal logic. I: The de re / de dicto distinction

zbMath0375.02008MaRDI QIDQ1245107

Kit Fine

Publication date: 1978

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Model theory (03C99) Categoricity and completeness of theories (03C35)

Related Items (15)

Investigations into quantified modal logic ⋮ The elimination of \textit{de re} formulas ⋮ The expressive power of second-order propositional modal logic ⋮ First-order modal theories ⋮ Model theory for tense logic: Saturated and special models with applications to the tense hierarchy ⋮ A new modal language with the lambda operator ⋮ Modal metatheory for quantified modal logic, with and without the Barcan formulas ⋮ Revising Carnap's semantic conception of modality ⋮ Completeness theorem for Dummett's LC quantified and some of its extensions ⋮ A possibility-free logic of descriptions ⋮ How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ Physicalism, instrumentalism and the semantics of modal logic ⋮ Some theorems on the expressive limitations of modal languages ⋮ Comments on the Contributions

This page was built for publication: Model theory for modal logic. I: The de re / de dicto distinction