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

Craig propertyprovability logicstrong provability operator

Mathematics Subject Classification ID

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

Review text

In a paper by \textit{E. Yu. Nogina} [Logic of proofs with strong provability operator (1994)] the logics of proofs BGrz, FGrz and MGrz were introduced that extend the logic Grz [see \textit{G. Boolos}, The logic of provability (1993; Zbl 0891.03004)]. The author shows that the logic BGrz possesses the strong Craig property while FGrz and MGrz do not possess even the weak Craig property.

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

(7)

• The Craig interpolation theorem for propositional logics with strong negation
• Craig interpolation property for operational logics of proofs
• 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
• Craig interpolation for semilinear substructural logics
• scientific article; zbMATH DE number 1499108 (Why is no real title available?)

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)