scientific article; zbMATH DE number 4114590

MaRDI QIDQ4729756zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 1988

Full work available at URL https://eudml.org/doc/187444

zbMATH Keywords

Craig interpolation propertyKripke style semanticsnormal extensions of the Gödel-Löb provability logicpropositional modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Continuum of normal extensions of the modal logic of provability with the interpolation property
• Interpolation and implicit definability in extensions of the provability logic
• scientific article; zbMATH DE number 1499108
• The provability logic for \(\Sigma_ 1\)-interpolability
• Publication:3197805

Cited in

(14)

• Amalgamation and interpolation in normal modal logics
• The interpolation problem in finite-layered pre-Heyting logics
• Interpolation in extensions of first-order logic
• Interpolation properties for provability logics GL and GLP
• Failure of interpolation in constant domain intuitionistic logic
• Interpolation systems for ground proofs in automated deduction: a survey
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
• scientific article; zbMATH DE number 4172946 (Why is no real title available?)
• Interpolation and implicit definability in extensions of the provability logic
• scientific article; zbMATH DE number 4103049 (Why is no real title available?)
• Interpolation theorems for some variants of LTL
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 2222017 (Why is no real title available?)
• 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 Q4729756)