Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics

DOI10.2307/2273909MaRDI QIDQ3768872zbMATH OpenOpenAlexFDO

Authors Jeffrey Welaish, George E. Weaver

Publication date 1986

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273909

zbMATH Keywords

modal logicspossible worldCraig's interpolation theoremRobinson's consistency theoremback and forth constructionbinary relational systemsFraissé's theoremHintikka's distributive normal form

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other model constructions (03C30) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 4047686
• On the interpolation property of some intuitionistic modal logics
• Some failures of interpolation in modal logic
• scientific article; zbMATH DE number 859796
• Interpolation and amalgamation; pushing the limits. I

Cites work

• A Note on the Interpolation Theorem in First Order Logic
• A completeness theorem in modal logic
• Categories of frames for modal logic
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Interpolation theorems in modal logics. Sufficient conditions
• Logical consequence in modal logic: Natural deduction in S5
• Logics containing K4. Part I
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semantics for S4.3.2

Cited in

(9)

• Linear reasoning in modal logic
• Algebraic Logic, Where Does it Stand Today?
• Back and forth between guarded and modal logics
• Neat embeddings, omitting types, and interpolation: an overview
• An extended joint consistency theorem for a family of free modal logics with equality
• Partial isomorphisms and intuitionistic logic
• Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems
• scientific article; zbMATH DE number 4047686 (Why is no real title available?)
• scientific article; zbMATH DE number 3863171 (Why is no real title available?)

This page was built for publication: Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics

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