Similar Items: On logical hierarchies within FO^2-definable languages
- Deciding definability in FO2(
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
- FO2(
- Definability and Interpolation within Decidable Fixpoint Logics
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- On the Mints Hierarchy in First-Order Intuitionistic Logic