The following pages link to (Q3113046):
Displayed 50 items.
- The structure of generalized intermediate syllogisms (Q279323) (← links)
- Restriction by noncontraction (Q286710) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Modal ontology and generalized quantifiers (Q373015) (← links)
- On vectorizations of unary generalized quantifiers (Q412063) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality (Q548707) (← links)
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- On the expressive power of counting (Q672336) (← links)
- Partially-ordered (branching) generalized quantifiers: A general definition (Q676181) (← links)
- Old and new identities for Bernoulli polynomials via Fourier series (Q715098) (← links)
- On simplicity of formulas (Q757354) (← links)
- Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \) (Q835184) (← links)
- Question answering and database querying: bridging the gap with generalized quantification (Q881829) (← links)
- Aristotelian syllogisms and generalized quantifiers (Q918951) (← links)
- Definability of second order generalized quantifiers (Q964457) (← links)
- A remark on collective quantification (Q1006495) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Symmetric propositions and logical quantifiers (Q1029824) (← links)
- \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures (Q1043324) (← links)
- The Skolem-Löwenheim theorem in toposes. II (Q1068081) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- An overview of fuzzy quantifiers. I. Interpretations (Q1292062) (← links)
- On second-order generalized quantifiers and finite structures (Q1612478) (← links)
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- On the relation between fuzzy and generalized quantifiers (Q1677902) (← links)
- Invariance and definability, with and without equality (Q1704087) (← links)
- Major parts of speech (Q1709039) (← links)
- Preferential accessibility and preferred worlds (Q1711506) (← links)
- Interactive semantic alignment model: social influence and local transmission bottleneck (Q1711512) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- Some properties of iterated languages (Q2011823) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- The Skolem-Löwenheim theorem in toposes (Q2266009) (← links)
- Linguistic quantifiers based on Choquet integrals (Q2270416) (← links)
- Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples (Q2350482) (← links)
- Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures defined on residuated lattices. II: Permutation and isomorphism invariances (Q2350483) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Logic of temporal attribute implications (Q2364366) (← links)
- A characterization of definability of second-order generalized quantifiers with applications to non-definability (Q2453584) (← links)
- Modeling the concept of majority opinion in group decision making (Q2488633) (← links)
- Positive logics (Q2700818) (← links)
- Introducing Role Defeasibility in Description Logics (Q2835870) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)