Repairing the interpolation theorem in quantified modal logic

DOI10.1016/S0168-0072(03)00059-9zbMATH Open1031.03025OpenAlexW2088302563MaRDI QIDQ1412840FDOQ1412840

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

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

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)

Cites Work

• Modal logic
• Model theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybrid languages
• First-order modal logic
• Hybrid logics: Characterization, interpolation and complexity
• Hierarchies of modal and temporal logics with reference pointers
• An essay in combinatory dynamic logic
• Interpolation for first order S5
• Failures of the interpolation lemma in quantified modal logic

Cited In (12)

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

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)