scientific article; zbMATH DE number 3863170

MaRDI QIDQ3331199zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 1982

zbMATH Keywords

Craig's interpolation propertyLyndon's interpolation propertypropositional modal logicsquantified modal logicssuperintuitionistic fragments

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Recommendations

• Uniform Lyndon interpolation property in propositional modal logics
• On the interpolation property of some intuitionistic modal logics
• Publication:3197805
• The Lyndon property and uniform interpolation over the Grzegorczyk logic
• scientific article; zbMATH DE number 1202113

Cited in

(11)

• Sentential logics and Maehara interpolation property
• Uniform Lyndon interpolation for basic non-normal modal logics
• Proving Craig and Lyndon interpolation using labelled sequent calculi
• scientific article; zbMATH DE number 4172946 (Why is no real title available?)
• Through an inference rule, darkly
• Linear reasoning in modal logic
• The Lyndon property and uniform interpolation over the Grzegorczyk logic
• Lyndon's interpolation property for the logic of strict implication
• Lyndon interpolation holds for the prenex \(\supset\) prenex fragment of Gödel logic
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
• Uniform Lyndon interpolation property in propositional modal 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 Q3331199)