scientific article; zbMATH DE number 1499108

zbMATH Open0946.03023MaRDI QIDQ4501162FDOQ4501162

Authors: Tatiana Sidon 

Publication date: 3 September 2000

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

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

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 (11)

• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
• Title not available (Why is that?)
• The decidability of Craig's interpolation property in well-composed J-logics
• Craig interpolation theorem for classical propositional logic with some probability operators
• Title not available (Why is that?)
• The Craig interpolation theorem for propositional logics with strong negation
• Title not available (Why is that?)
• 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
• Craig interpolation for semilinear substructural logics
• Craig interpolation property for operational logics of proofs

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)