Failures of the interpolation lemma in quantified modal logic

DOI10.2307/2273727zbMath0415.03015OpenAlexW2071369407WikidataQ124989992 ScholiaQ124989992MaRDI QIDQ3050398

Kit Fine

Publication date: 1979

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

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

zbMATH Keywords

interpolation lemmaS5definability theoremquantificational modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Constructive interpolation in hybrid logic, An extended joint consistency theorem for a family of free modal logics with equality, On propositional definability, An Arithmetically Complete Predicate Modal Logic, Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, First-order interpolation derived from propositional interpolation, Quantified multimodal logics in simple type theory, Model theory for modal logic. III. Existence and predication, Repairing the interpolation theorem in quantified modal logic, Continuum of normal extensions of the modal logic of provability with the interpolation property, On the expressive power of first-order modal logic with two-dimensional operators, Amalgamation and interpolation in normal modal logics, How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic, An institution-independent proof of the Beth definability theorem, European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979, Interpolation in non-classical logics, On the proof theory of the modal logic for arithmetic provability, A simple propositional \(\text{S}5\) tableau system, Some theorems on the expressive limitations of modal languages, Failure of Interpolation in Constant Domain Intuitionistic Logic, Interpolation for first order S5

Cites Work

• Normal modal model theory
• Craig interpolation theorem for intuitionistic logic and extensions Part III