Sequent Calculi for Data-Aware Modal Logics
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916754392875008 |
|---|---|
| author | Areces, Carlos Cassano, Valentin Dutto, Danae Fervari, Raul |
| author_facet | Areces, Carlos Cassano, Valentin Dutto, Danae Fervari, Raul |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_17240 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Sequent Calculi for Data-Aware Modal Logics Areces, Carlos Cassano, Valentin Dutto, Danae Fervari, Raul Logic in Computer Science 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. |
| title | Sequent Calculi for Data-Aware Modal Logics |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2505.17240 |