2 papers
cs.LO2025
Sequent Calculi for Data-Aware Modal Logics
Carlos Areces, Valentin Cassano, Danae Dutto +1
Data-aware modal logics offer a powerful formalism for reasoning about semi-structured queries in languages such as DataGL, XPath, and GQL. In brief, these logics can be viewed as…
cs.LO2025
Sequent Calculi for Data-Aware Modal Logics
Carlos Areces, Valentin Cassano, Danae Dutto +1
This document serves as a companion to the paper of the same title, wherein we introduce a Gentzen-style sequent calculus for HXPathD. It provides full technical details and proofs…