"鹿島亮","到達可能関係の推移的閉包を扱う様相論理の完全性（２）","日本数学会2010年度秋季総合分科会","日本数学会数学基礎論分科会アブストラクト集",,,,,2010,Sept.
"RYO KASHIMA","Completeness proof by semantic diagrams for transitive closure of accessibility relation","Advances in Modal Logic","Advances in Modal Logic",,"Volume 8",,"pp. 200-217",2010,Aug.