"Ryo Kashima,Keishi Okamoto","Completeness Theorem of First-Order Modal mu-calculus",,"Research Reports on Mathematical and Computing Sciences, TIT",,"Vol. C-244",,,2007,Apr.
"鹿島 亮","述語様相μ計算の完全性について","日本数学会2007年度年会","数学基礎論分科会講演アブストラクト",,,,"pp. 10",2007,Mar.
"田中一之,鹿島亮,山崎武,白旗優","ゲーデルと20世紀の論理学・第３巻・不完全性定理と算術の体系",,,"東京大学出版会",,,,2007,Mar.
"鹿島 亮","中間述語論理CDについて",,"京都大学数理解析研究所講究録","京都大学数理解析研究所","Vol. 1533",,"pp. 1-8",2007,Feb.