"Ryo Kashima","Two topics on nested sequent calculi for modal logics","6th Asian Workshop on Philosophical Logic",,,,,,2024,Mar.
"RYO KASHIMA","様相論理の入れ子シークエント計算について","RIMS共同研究(公開型)「証明論と計算論の最前線」",,,,,,2024,