Repairing the interpolation theorem in quantified modal logic

DOI10.1016/S0168-0072(03)00059-9MaRDI QIDQ1412840zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Patrick Blackburn, Maarten Marx

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)

Recommendations

• Constructive interpolation in hybrid logic
• Hybrid logics: Characterization, interpolation and complexity
• scientific article; zbMATH DE number 1062287
• Uniform interpolation and propositional quantifiers in modal logics
• scientific article; zbMATH DE number 2184446

Cites work

• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• An essay in combinatory dynamic logic
• Failures of the interpolation lemma in quantified modal logic
• First-order modal logic
• Hierarchies of modal and temporal logics with reference pointers
• Hybrid languages
• Hybrid logics: Characterization, interpolation and complexity
• Interpolation for first order S5
• Modal logic
• Model theory

Cited in

(12)

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

This page was built for publication: Repairing the interpolation theorem in quantified modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1412840)