TY  - RPRT
TI  - Proof Theory for Bimodal Provability Logics
AU  - Borja Sierra Miranda
AU  - Thomas Studer
PY  - 2026
UR  - https://arxiv.org/abs/2605.12351
ID  - 2605.12351
ER  -