Interpolational Craig property in logics of proofs with strong provability operator
From MaRDI portal
Publication:1275992
zbMath0909.03020MaRDI QIDQ1275992
Publication date: 14 January 1999
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)
This page was built for publication: Interpolational Craig property in logics of proofs with strong provability operator
