Decomposing generalized quantifiers
From MaRDI portal
Recommendations
Cites work
Cited in
(12)- Model theory of monadic predicate logic with the infinity quantifier
- Using decomposition-parameters for QBF: mind the prefix!
- Existential import, Aristotelian logic, and its generalizations
- Quantifiers in the world of types
- A uniform framework for rough approximations based on generalized quantifiers
- Not only Barbara
- Modal ontology and generalized quantifiers
- All Quantifiers Versus the Quantifier All
- Aristotle, logic, and QUARC
- Decomposing Quantified Conjunctive (or Disjunctive) Formulas
- First-order definable counting-only queries
- Logical constants and arithmetical forms
This page was built for publication: Decomposing generalized quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580676)