Model theory for modal logic. III. Existence and predication

DOI10.1007/BF00293421MaRDI QIDQ1153891zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

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

Cited in

(6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1153891)