scientific article; zbMATH DE number 1499108

zbMATH Open0946.03023MaRDI QIDQ4501162FDOQ4501162

Tatiana Sidon

Publication date: 3 September 2000

Title of this publication is not available (Why is that?)

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)

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
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• Craig interpolation for semilinear substructural logics

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)