Model theory for modal logic. III. Existence and predication

DOI10.1007/BF00293421zbMath0464.03017OpenAlexW2005239198MaRDI QIDQ1153891

Kit Fine

Publication date: 1981

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

Full work available at URL: https://doi.org/10.1007/bf00293421

zbMATH Keywords

interpretabilitypreservation theoremspredicate on non-existents

Mathematics Subject Classification ID

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

Related Items (6)

On the Expressivity of First-Order Modal Logic with “Actually” ⋮ Counterpart theories for everyone ⋮ Structure by proxy, with an application to grounding ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ Actualism, serious actualism, and quantified modal logic ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages

Cites Work

• First-order modal theories
• Properties, propositions and sets
• Failures of the interpolation lemma in quantified modal logic

This page was built for publication: Model theory for modal logic. III. Existence and predication