On the Beth properties of some intuitionistic modal logics

DOI10.1007/S001530100120zbMath1024.03019OpenAlexW2040860191MaRDI QIDQ1407549

C. Luppi

Publication date: 16 September 2003

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

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

zbMATH Keywords

interpolationBeth propertyintuitionistic modal logics

Mathematics Subject Classification ID

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

This page was built for publication: On the Beth properties of some intuitionistic modal logics