TY  - RPRT
TI  - Bounded Modal Logic: Explicit Scope Dependencies in Multi-Stage Programming
AU  - Yuito Murase
AU  - Akinori Maniwa
PY  - 2026
UR  - https://arxiv.org/abs/2602.09462
ID  - 2602.09462
ER  -