"Ryo Kashima,Yutaka Kato","Semantical cut-elimination for the provability logic of true arithmetic",,"arXiv",,,,,2023,Sept.