Pages that link to "Item:Q2958513"
From MaRDI portal
The following pages link to Bounds for the quantifier depth in finite-variable logics: alternation hierarchy (Q2958513):
Displaying 7 items.
- Degrees of logics with Henkin quantifiers in poor vocabularies (Q1882566) (← links)
- Bounds for the Quantifier Depth in Finite-Variable Logics (Q2946761) (← links)
- (Q3143039) (← links)
- An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic (Q4608719) (← links)
- Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q4608722) (← links)
- Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps (Q4635882) (← links)
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic (Q4635884) (← links)