scientific article; zbMATH DE number 4039872

MaRDI QIDQ3778732zbMATH OpenFDO

Authors Jan Rauch

Publication date 1987

zbMATH Keywords

data analysisgeneralized quantifiersfinite modelsobservational calculi

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80)

Recommendations

• Definability hierarchies of generalized quantifiers
• scientific article; zbMATH DE number 1163931
• Generalized quantifiers and modal logic
• Generalized Quantifiers and Logical Reducibilities
• Relativization of quantifiers in finite models
• Implicit definability and infinitary logic in finite model theory (extended abstract)
• Towards a generalization of modal definability
• The expressive power of finitely many generalized quantifiers
• A dichotomy in classifying quantifiers for finite models
• A note on logicality of generalized quantifiers

Cited in

(4)

• scientific article; zbMATH DE number 2019853 (Why is no real title available?)
• Relativization of quantifiers in finite models
• The solution equivalence to general models for the RIM quantifier problem
• Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.

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