"RYO KASHIMA","様相論理 CTL* などの完全性について","日本数学会2011年度秋季総合分科会","日本数学会数学基礎論分科会アブストラクト集",,,,,2011,Sept.
"Ryo Kashima","Finite canonical model for some modal logics","Workshop on Proof Theory and  Computability Theory",,,,,,2011,Feb.
"RYO KASHIMA","到達可能関係の推移閉包を扱う様相論理のカノニカルモデルについて",,"京都大学数理解析研究所講究録","京都大学数理解析研究所","  1729",,"pp. 36-47",2011,Feb.