Similar Items: Two-Variable Logic with Two Order Relations
- Two-variable Logic with Counting and a Linear Order
- Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
- About the Expressive Power and Complexity of Order-Invariance with Two Variables
- Two Variable vs. Linear Temporal Logic in Model Checking and Games
- On two-variable guarded fragment logic with expressive local Presburger constraints