TY  - RPRT
TI  - Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
AU  - Tim S. Lyon
PY  - 2026
UR  - https://arxiv.org/abs/2511.22174
ID  - 2511.22174
ER  -