Similar Items: Learning Concepts Definable in First-Order Logic with Counting
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
- Two-variable Logic with Counting and a Linear Order
- The succinctness of first-order logic on linear orders
- Game semantics for first-order logic
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers