@inproceedings{CTT100911808,
  author = {Ryo Kashima and Taishi Kurahashi and Sohei Iwata},
  title = {Cut-free sequent calculi for the provability logic D},
  booktitle = {arXiv},
  year = 2023,
}

@inproceedings{CTT100911806,
  author = {RYO KASHIMA},
  title = {証明可能性論理Dのカット無しシークエント計算},
  booktitle = {日本数学会2023年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト},
  year = 2023,
}

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