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