Interpolation property for extensions of intuitionistic provability logic
From MaRDI portal
Publication:922543
DOI10.1007/BF01158092zbMath0711.03028MaRDI QIDQ922543
Publication date: 1990
Published in: Mathematical Notes (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03F40: Gödel numberings and issues of incompleteness
Related Items
Cites Work