Some failures of interpolation in modal logic

DOI10.1305/NDJFL/1093636529MaRDI QIDQ1073010zbMATH OpenOpenAlexFDO

Authors George F. Schumm

Publication date 1986

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093636529

zbMATH Keywords

Halldén-completenessPost-completeness

Mathematics Subject Classification ID

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

Review text

If a modal logic L has only one Post-complete extension and is Halldén- incomplete, then interpolation fails in L. This observation yields quick proofs of failure of interpolation in numerous familiar logics and continuum-many extensions of S4.

Recommendations

• Failure of interpolation in combined modal logics
• scientific article; zbMATH DE number 1062287
• scientific article; zbMATH DE number 4047685
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• scientific article; zbMATH DE number 3863171

Cited in

(11)

• Craig interpolation in the presence of unreliable connectives
• Preservation of Craig interpolation by the product of matrix logics
• Naive modus ponens and failure of transitivity
• Failure of interpolation in constant domain intuitionistic logic
• scientific article; zbMATH DE number 3863171 (Why is no real title available?)
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
• Two Models that show the Interpolation Theorem Fails in all L ¹ ( Q _α ) and L ^{1, 1} ( Q _α , α = 0, 1, 2,…
• scientific article; zbMATH DE number 1062287 (Why is no real title available?)
• Retraction note for “PDL has interpolation”
• Failure of interpolation in combined modal logics
• Failure of interpolation in relevant logics

This page was built for publication: Some failures of interpolation in modal logic

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