zbMath0644.03028MaRDI QIDQ3786477
Lev D. Beklemishev
Publication date: 1987
zbMATH Keywords
interpolation; cut-elimination; Solovay's modal logic of provability
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03F05: Cut-elimination and normal-form theorems
Related Items