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

DOI10.2307/2273909zbMATH Open0632.03015OpenAlexW2171395754MaRDI QIDQ3768872FDOQ3768872

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

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

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)

Cites Work

• A completeness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Categories of frames for modal logic
• Interpolation theorems in modal logics. Sufficient conditions
• Logics containing K4. Part I
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• A Note on the Interpolation Theorem in First Order Logic
• Logical consequence in modal logic: Natural deduction in S5
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)