scientific article; zbMATH DE number 1499108

MaRDI QIDQ4501162zbMATH OpenFDO

Authors Tatiana Sidon

Publication date 3 September 2000

zbMATH Keywords

modal logicprobability logicCraig interpolation propertyprovability predicateproof predicatearithmetically complete propositional modal logiclabeled modal languagelogics of proofs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4103049
• scientific article; zbMATH DE number 1341927
• Continuum of normal extensions of the modal logic of provability with the interpolation property
• Interpolational Craig property in logics of proofs with strong provability operator

Cited in

(11)

• Craig interpolation theorem for classical propositional logic with some probability operators
• Continuum of normal extensions of the modal logic of provability with the interpolation property
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• scientific article; zbMATH DE number 4103049 (Why is no real title available?)
• Craig interpolation property for operational logics of proofs
• The Craig interpolation theorem for propositional logics with strong negation
• Craig interpolation for semilinear substructural logics
• scientific article; zbMATH DE number 4114590 (Why is no real title available?)
• The decidability of Craig's interpolation property in well-composed J-logics
• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
• scientific article; zbMATH DE number 4049635 (Why is no real title available?)

This page was built for publication:

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