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

DOI10.2307/2273909zbMath0632.03015OpenAlexW2171395754MaRDI QIDQ3768872

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) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other model constructions (03C30)

Related Items (4)

Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems ⋮ Partial isomorphisms and intuitionistic logic ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Algebraic Logic, Where Does it Stand Today?

Cites Work

• 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
• Semantics for S4.3.2
• A Note on the Interpolation Theorem in First Order Logic
• A completeness theorem in modal logic
• Categories of frames for modal logic
• Logics containing K4. Part I
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

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