@book{CTT100532235,
  author = {田中一之 and 鹿島亮 and 山崎武 and 白旗優},
  title = {ゲーデルと20世紀の論理学・第３巻・不完全性定理と算術の体系},
  publisher = {東京大学出版会},
  year = 2007,
}

@article{CTT100532810,
  author = {鹿島 亮},
  title = {中間述語論理CDについて},
  journal = {京都大学数理解析研究所講究録},
  year = 2007,
}

@inproceedings{CTT100532809,
  author = {鹿島 亮},
  title = {述語様相μ計算の完全性について},
  booktitle = {数学基礎論分科会講演アブストラクト},
  year = 2007,
}

@misc{CTT100532236,
  author = {Ryo Kashima and Keishi Okamoto},
  title = {Completeness Theorem of First-Order Modal mu-calculus},
  year = 2007,
}