2 papers
cs.LO2026
Guarded Negation Transitive Closure Logic
Diego Figueira, Santiago Figueira, Yoshiki Nakamura
We study the guarded negation fragment of transitive closure logic (GNTC). We show that the satisfiability problem for GNTC is 2ExpTime-complete, by establishing the following redu…
cs.LO2026
A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
Diego Figueira, Santiago Figueira
We introduce and study UCPDL+, a family of expressive logics rooted in Propositional Dynamic Logic (PDL) with converse (CPDL) and universal modality (UCPDL). In terms of expressive…