scientific article; zbMATH DE number 4170882

MaRDI QIDQ3496323zbMATH OpenFDO

Authors Xavier Caicedo, Juan M. Lesmes

Publication date 1990

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

zbMATH Keywords

cardinality quantifiersdecidabilityelimination of second order quantifiersfirst order monadic logicinterpolation

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 4035803
• Compactness in logic with cardinality quantifiers
• scientific article; zbMATH DE number 3910377
• The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata
• scientific article; zbMATH DE number 1138595

Cited in

(8)

• scientific article; zbMATH DE number 4035803 (Why is no real title available?)
• Cardinality logics. Part II: Definability in languages based on ‘exactly’
• scientific article; zbMATH DE number 1735985 (Why is no real title available?)
• scientific article; zbMATH DE number 1138595 (Why is no real title available?)
• Enhancing fixed point logic with cardinality quantifiers
• scientific article; zbMATH DE number 2059955 (Why is no real title available?)
• Axiomatic Extensions of Hohle's Monoidal Logic
• MAXIMALITY OF LOGIC WITHOUT IDENTITY

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