Work

Sequent Calculi for Data-Aware Modal Logics

Year: 2025

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2505.17240

Authors: Areces, Carlos, Cassano, Valentin, Dutto, Danae, Fervari, Raul

Institutions: Consejo Nacional de Investigaciones Científicas y Técnicas, Universidad Nacional de Córdoba, Universidad Nacional de Río Cuarto

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6966946308

Cites:

Cited by:

Related to: