Some failures of interpolation in modal logic

DOI10.1305/NDJFL/1093636529zbMATH Open0588.03009OpenAlexW1996638557MaRDI QIDQ1073010FDOQ1073010

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

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

zbMATH Keywords

Post-completenessHalldén-completeness

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)