On the interpolation property of some intuitionistic modal logics

DOI10.1007/BF01268617zbMath0844.03008OpenAlexW2086027756MaRDI QIDQ1913298

C. Luppi

Publication date: 22 May 1996

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01268617

zbMATH Keywords

varietyalgebraic semanticsamalgamation propertyintuitionistic modal logicsRobinson theoremsuper-amalgamation propertytopological pseudoboolean algebrasweak Craig interpolation theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40)

Cites Work

• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• On some intuitionistic modal logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the interpolation property of some intuitionistic modal logics