Some failures of interpolation in modal logic
From MaRDI portal
Publication:1073010
DOI10.1305/NDJFL/1093636529zbMath0588.03009OpenAlexW1996638557MaRDI QIDQ1073010
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
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Related Items (2)
Preservation of Craig interpolation by the product of matrix logics ⋮ Craig interpolation in the presence of unreliable connectives
This page was built for publication: Some failures of interpolation in modal logic
