Repairing the interpolation theorem in quantified modal logic

DOI10.1016/S0168-0072(03)00059-9zbMath1031.03025OpenAlexW2088302563MaRDI QIDQ1412840

Maarten Marx, Carlos Areces, Patrick Blackburn

Publication date: 25 November 2003

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(03)00059-9

zbMATH Keywords

InterpolationBeth definabilityBounded fragmentQuantified hybrid logicQuantified modal logic

Mathematics Subject Classification ID

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

Related Items

Semantic interpolation, Pure extensions, proof rules, and hybrid axiomatics, The problem of cross-world predication, Craig interpolation in the presence of unreliable connectives, Natural deduction for first-order hybrid logic, Interpolation in non-classical logics, Logical Interpolation and Projection onto State in the Duration Calculus, Why does the proof-theory of hybrid logic work so well?, Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An essay in combinatory dynamic logic
• Model theory
• First-order modal logic
• Hybrid languages
• Hierarchies of modal and temporal logics with reference pointers
• Hybrid logics: characterization, interpolation and complexity
• Failures of the interpolation lemma in quantified modal logic
• Interpolation for first order S5