3 papers
cs.LO2026
Basic Model Theory for Path Predicate Modal Logic
Raul Fervari, Santiago Figueira, Gabriel Goren-Roig +1
Path Predicate Modal Logic (PPML) is a generalization of Basic Modal Logic, where atoms are relational predicates instead of propositional symbols. The study of PPML is motivated a…
cs.LO2025
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.LO2025
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…