TY  - RPRT
TI  - A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order Logic
AU  - Diego Figueira
AU  - Santiago Figueira
PY  - 2026
UR  - https://arxiv.org/abs/2501.11641
ID  - 2501.11641
ER  -