@misc{indiciaef16591a2f428,
  title = {Semantical cut-elimination for the provability logic of true arithmetic},
  author = {Ryo Kashima and Yutaka Kato},
  year = {2023},
  url = {https://arxiv.org/abs/2309.05948},
  note = {Source identifier: 2309.05948}
}