An extended joint consistency theorem for a family of free modal logics with equality

DOI10.2307/2274100zbMath0587.03018OpenAlexW2143793657MaRDI QIDQ3714056

Raymond D. Gumb

Publication date: 1984

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

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

zbMATH Keywords

interpolationseparation lemmaconservative Kripke closureenvolving theoryforest methodinfinite family of free modal logics with equality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Cites Work

• Unnamed Item
• An extended joint consistency theorem for free logic with equality
• Failures of the interpolation lemma in quantified modal logic
• The Completeness of Presupposition‐Free Tense Logic
• First Order Properties of Relations with the Monotonic Closure Property

This page was built for publication: An extended joint consistency theorem for a family of free modal logics with equality