TY  - RPRT
TI  - Guarded Negation Transitive Closure Logic
AU  - Diego Figueira
AU  - Santiago Figueira
AU  - Yoshiki Nakamura
PY  - 2026
DO  - 10.4230/lipics.lics.2026.43
UR  - https://arxiv.org/abs/2501.15303
ID  - 2501.15303
ER  -