Sequent Calculi for Data-Aware Modal Logics
Logic in Computer Science
2025-05-26 v1
Abstract
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 from the main paper. As such, it is intended as a reference for readers seeking a deeper understanding of the formal results, including soundness, completeness, invertibility, and cut elimination for the calculus.
Keywords
Cite
@article{arxiv.2505.17240,
title = {Sequent Calculi for Data-Aware Modal Logics},
author = {Carlos Areces and Valentin Cassano and Danae Dutto and Raul Fervari},
journal= {arXiv preprint arXiv:2505.17240},
year = {2025}
}