Similar Items: Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
- On two-variable guarded fragment logic with expressive local Presburger constraints
- Querying the Guarded Fragment
- Answer Counting under Guarded TGDs
- Two-variable Logic with Counting and a Linear Order
- A Fragment of Dependence Logic Capturing Polynomial Time
- Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing