@misc{CTT100911807,
  author = {Ryo Kashima and Yutaka Kato},
  title = {Semantical cut-elimination for the provability logic of true arithmetic},
  year = 2023,
}