On the interpolation property of some intuitionistic modal logics
From MaRDI portal
Publication:1913298
DOI10.1007/BF01268617zbMath0844.03008MaRDI QIDQ1913298
Publication date: 22 May 1996
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
variety; algebraic semantics; amalgamation property; intuitionistic modal logics; Robinson theorem; super-amalgamation property; topological pseudoboolean algebras; weak Craig interpolation theorem
03B45: Modal logic (including the logic of norms)
03G25: Other algebras related to logic
03C40: Interpolation, preservation, definability
Cites Work