Model theory for modal logic. III. Existence and predication

DOI10.1007/BF00293421zbMATH Open0464.03017OpenAlexW2005239198MaRDI QIDQ1153891FDOQ1153891

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

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

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)