3 papers
cs.LO2025
Data-Aware Hybrid Tableaux
Carlos Areces, Valentin Cassano, Raul Fervari
Labelled tableaux have been a traditional approach to define satisfiability checking procedures for Modal Logics. In many cases, they can also be used to obtain tight complexity bo…
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…