@misc{indiciae5bd15bbbe8fd,
  title = {Canonicity of Proofs in Constructive Modal Logic},
  author = {Matteo Acclavio and Davide Catta and Federico Olimpieri},
  year = {2023},
  url = {https://arxiv.org/abs/2304.05465},
  note = {Source identifier: 2304.05465}
}