@misc{indiciaee7857160c65f,
  title = {Bounded Modal Logic: Explicit Scope Dependencies in Multi-Stage Programming},
  author = {Yuito Murase and Akinori Maniwa},
  year = {2026},
  url = {https://arxiv.org/abs/2602.09462},
  note = {Source identifier: 2602.09462}
}