TY  - RPRT
TI  - Proof Theory and Interpolation for Sacchetti's Logics
AU  - Borja Sierra Miranda
AU  - Thomas Studer
PY  - 2026
UR  - https://arxiv.org/abs/2607.06359
ID  - 2607.06359
ER  -