"RYO KASHIMA","ホーア論理・ダイナミック論理",,"数学セミナー 11月号",,,,"pp. 26-31",2014,Oct.
"RYO KASHIMA","Semilattice relevant logic について","日本数学会秋季総合分科会","日本数学会2014年度秋季総合分科会???? ?数学基礎論および歴史分科会アブストラクト",,,,,2014,Sept.
"Ryo Kashima","An axiomatization of ECTL",,"Journal of Logic and Computation",,"Vol. 24","No. 1","pp. 117-133",2014,Feb.