Interpolation and joint consistency

MaRDI QIDQ3012532zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 6 July 2011

Mathematics Subject Classification ID

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

Recommendations

• Joint consistency in extensions of the minimal logic
• Weak interpolation in extensions of minimal logic
• WIP-minimal logics and interpolation
• scientific article; zbMATH DE number 2196596
• Interpolation in superintuitionistic predicate logics with equality

Cited in

(9)

• Interpolation on jets
• Algorithms for recognizing restricted interpolation over the modal logic S4
• Restricted interpolation over modal logic S4
• The projective Beth property in well-composed logics
• Decidability of the interpolation problem and of related properties in tabular logics
• Joint consistency in extensions of the minimal logic
• Interpolation and the projective Beth property in well-composed logics
• Decidability of the weak interpolation property over the minimal logic
• Amalgamation, interpolation, and implicit definability in varieties of algebras

This page was built for publication: Interpolation and joint consistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3012532)