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

Post-completenessHalldén-completeness

Mathematics Subject Classification ID

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

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

(10)

• Failure of interpolation in relevant logics
• Naive modus ponens and failure of transitivity
• Failure of interpolation in combined modal logics
• Craig interpolation in the presence of unreliable connectives
• Two Models that show the Interpolation Theorem Fails in all L ¹ ( Q _α ) and L ^{1, 1} ( Q _α , α = 0, 1, 2,…
• Failure of interpolation in constant domain intuitionistic logic
• Preservation of Craig interpolation by the product of matrix logics
• 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
• Retraction note for “PDL has interpolation”

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)