@misc{indiciae202b4db10a2a,
  title = {Normalization for Fitch-Style Modal Calculi},
  author = {Nachiappan Valliappan and Fabian Ruch and Carlos Tomé Cortiñas},
  year = {2022},
  url = {https://arxiv.org/abs/2207.12807},
  note = {Source identifier: 2207.12807}
}