Pages that link to "Item:Q1908344"
From MaRDI portal
The following pages link to The expressive power of finitely many generalized quantifiers (Q1908344):
Displaying 19 items.
- Generalized lower and upper approximations in quantales (Q411063) (← links)
- On vectorizations of unary generalized quantifiers (Q412063) (← links)
- Question answering and database querying: bridging the gap with generalized quantification (Q881829) (← links)
- Logical hierarchies in PTIME (Q1817218) (← links)
- Infinitary logic and inductive definability over finite structures (Q1893734) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- (Q2723900) (← links)
- On the expressibility hierarchy of Magidor-Malitz quantifiers (Q3322084) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers (Q3613413) (← links)
- (Q3768890) (← links)
- (Q3778732) (← links)
- Fixed-point logics, generalized quantifiers, and oracles (Q4344700) (← links)
- (Q4395556) (← links)
- Generalized Quantifiers and Logical Reducibilities (Q4763536) (← links)
- Where First-Order and Monadic Second-Order Logic Coincide (Q5278195) (← links)
- The hierarchy theorem for generalized quantifiers (Q5687317) (← links)
- First order logic, fixed point logic and linear order (Q6560167) (← links)
- Game comonads \& generalised quantifiers (Q6597958) (← links)
