Craig interpolation property for operational logics of proofs

zbMath1025.03062MaRDI QIDQ1406371

T. L. Sidon

Publication date: 4 September 2003

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

Craig interpolation propertyoperational logic of proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Craig interpolation property for operational logics of proofs