Pages that link to "Item:Q2930128"
From MaRDI portal
The following pages link to On the strictness of the quantifier structure hierarchy in first-order logic (Q2930128):
Displaying 9 items.
- Degrees of logics with Henkin quantifiers in poor vocabularies (Q1882566) (← links)
- On the first-order prefix hierarchy (Q2565987) (← links)
- Rank Hierarchies for Generalized Quantifiers (Q3006117) (← links)
- On the expressibility hierarchy of Magidor-Malitz quantifiers (Q3322084) (← links)
- Strategies of the search for derivation of statements with restricted quantifiers (Q3675553) (← links)
- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (Q5167850) (← links)
- Going Higher in First-Order Quantifier Alternation Hierarchies on Words (Q5244385) (← links)
- (Q5579477) (← links)
- Priorean strict implication, Q and related systems (Q5959763) (← links)