Similar Items: Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- On two-variable guarded fragment logic with expressive local Presburger constraints
- Positive fragments of coalgebraic logics
- On Sub-Propositional Fragments of Modal Logic
- Separating regular languages with two quantifier alternations
- Lindstrom theorems for fragments of first-order logic