Interpolation property for extensions of intuitionistic provability logic

DOI10.1007/BF01158092zbMath0711.03028MaRDI QIDQ922543

I. G. Simonova

Publication date: 1990

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

modal logicinterpolation propertyprovability-intuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

Bjarni Jónsson's contributions in algebra ⋮ On products of posets and coproducts of KM-algebras

Cites Work

• On superintuitionistic logics as fragments of proof logic extensions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation property for extensions of intuitionistic provability logic