"Ryo Kashima,Taishi Kurahashi,Sohei Iwata","Cut-free sequent calculi for the provability logic D","The 17th Asian Logic Conference","arXiv",,,,,2023,Oct.
"Ryo Kashima,Yutaka Kato","Semantical cut-elimination for the provability logic of true arithmetic",,"arXiv",,,,,2023,Sept.
"鹿島亮, 倉橋太志, 岩田荘平","証明可能性論理Dのカット無しシークエント計算","日本数学会秋季総合分科会","日本数学会2023年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト",,,,,2023,Sept.