"RYO KASHIMA","非反射的様相を持つ論理の完全性について","日本数学会2004年度秋季総合分科会","日本数学会数学基礎論分科会アブストラクト集",,,,"pp. 24-25",2004,Sept.