On the interpolation property of some intuitionistic modal logics
type: Item
instance of: scholarly article
title: On the interpolation property of some intuitionistic modal logics
zbMATH Open document ID: 0844.03008
DOI: 10.1007/BF01268617
author: C. Luppi
published in: Archive for Mathematical Logic
publication date: 1996-05-22T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 881129
zbMATH Keywords: topological pseudoboolean algebras
zbMATH Keywords: intuitionistic modal logics
zbMATH Keywords: weak Craig interpolation theorem
zbMATH Keywords: Robinson theorem
zbMATH Keywords: amalgamation property
zbMATH Keywords: variety
zbMATH Keywords: super-amalgamation property
zbMATH Keywords: algebraic semantics
MaRDI profile type: Publication
cites work: Q3358708
cites work: Q3934450
cites work: Q3882504
cites work: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
cites work: Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
cites work: On some intuitionistic modal logics
cites work: Q5734410
cites work: Q4068699
full work available at URL: https://doi.org/10.1007/bf01268617
OpenAlex ID: W2086027756
description: scientific article; zbMATH DE number 881129