Interpolational Craig property in logics of proofs with strong provability operator

zbMATH Open0909.03020MaRDI QIDQ1275992FDOQ1275992

Authors: Evgeni E. Zolin 

Publication date: 14 January 1999

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

Recommendations

• Craig interpolation property for operational logics of proofs
• scientific article; zbMATH DE number 1499108
• scientific article; zbMATH DE number 4103049
• The Craig interpolation theorem for propositional logics with strong negation

zbMATH Keywords

provability logicCraig propertystrong provability operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)

Cited In (6)

• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
• The decidability of Craig's interpolation property in well-composed J-logics
• Craig interpolation theorem for classical propositional logic with some probability operators
• The Craig interpolation theorem for propositional logics with strong negation
• Craig interpolation for semilinear substructural logics
• Craig interpolation property for operational logics of proofs

This page was built for publication: Interpolational Craig property in logics of proofs with strong provability operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1275992)