TY  - RPRT
TI  - Sequent Calculi for Data-Aware Modal Logics
AU  - Carlos Areces
AU  - Valentin Cassano
AU  - Danae Dutto
AU  - Raul Fervari
PY  - 2025
UR  - https://arxiv.org/abs/2505.17240
ID  - 2505.17240
ER  -