Similar Items: On two-variable guarded fragment logic with expressive local Presburger constraints
- Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
- Querying the Guarded Fragment
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
- Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
- Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
- Logics with rigidly guarded data tests