Monotone quantifiers: Interpolation and preservation

MaRDI QIDQ2702233zbMATH OpenFDO

Authors Kees Doets

Publication date 12 March 2001

zbMATH Keywords

first-order logic with a monotone quantifier variableLyndon interpolation theorem

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 3910377
• An interpolation theorem
• Equality and lyndon's interpolation theorem
• Harmonious logic: Craig's interpolation theorem and its descendants
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski

Cited in

(3)

• An interpolation theorem
• scientific article; zbMATH DE number 3882393 (Why is no real title available?)
• scientific article; zbMATH DE number 3910377 (Why is no real title available?)

This page was built for publication: Monotone quantifiers: Interpolation and preservation

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