Interpolational Craig property in logics of proofs with strong provability operator

MaRDI QIDQ1275992zbMATH OpenFDO

Authors Evgeni E. Zolin

Publication date 14 January 1999

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

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)

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

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)