Similar Items: Two-variable Logic with Counting and a Linear Order
- Two-Variable Logic with Two Order Relations
- Learning Concepts Definable in First-Order Logic with Counting
- Two Variable vs. Linear Temporal Logic in Model Checking and Games
- The succinctness of first-order logic on linear orders
- Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
- Making first order linear logic a generating grammar