Pages that link to "Item:Q2957893"
From MaRDI portal
The following pages link to Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable (Q2957893):
Displaying 13 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- Varieties (Q2074217) (← links)
- The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
- On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages (Q2904628) (← links)
- Bounds for the Quantifier Depth in Finite-Variable Logics (Q2946761) (← links)
- Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
- An effective characterization of the alternation hierarchy in two-variable logic (Q2957483) (← links)
- Bounds for the quantifier depth in finite-variable logics: alternation hierarchy (Q2958513) (← links)
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words (Q3395099) (← links)
- Structure Theorem and Strict Alternation Hierarchy for FO2 on Words (Q3608423) (← links)
- (Q4542541) (← links)
- Locality and Centrality: The Variety ZG (Q6076180) (← links)
- The amazing mixed polynomial closure and its applications to two-variable first-order logic (Q6649443) (← links)
