scientific article; zbMATH DE number 4049635

MaRDI QIDQ3786477zbMATH OpenFDO

Authors Lev D. Beklemishev

Publication date 1987

zbMATH Keywords

cut-eliminationinterpolationSolovay's modal logic of provability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• The provability logic for \(\Sigma_ 1\)-interpolability
• A formalization of Sambins's normalization for GL
• Continuum of normal extensions of the modal logic of provability with the interpolation property
• scientific article; zbMATH DE number 1499108
• scientific article; zbMATH DE number 4103049

Cited in

(8)

• Provability logic without Craig's interpolation property
• On proof normalization in linear logic
• The complexity of the modal predicate logic of “true in every transitive model of ZF”
• scientific article; zbMATH DE number 7599931 (Why is no real title available?)
• The provability logic for \(\Sigma_ 1\)-interpolability
• A modal logic internalizing normal proofs
• Definability theorems in normal extensions of the provability logic
• Continuum of normal extensions of the modal logic of provability with the interpolation property

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 Q3786477)