@article{CTT100619714,
  author = {鹿島亮},
  title = {到達可能関係の推移閉包を扱う様相論理のカノニカルモデルについて},
  journal = {京都大学数理解析研究所講究録},
  year = 2011,
}

@inproceedings{CTT100633901,
  author = {鹿島 亮},
  title = {様相論理 CTL* などの完全性について},
  booktitle = {日本数学会数学基礎論分科会アブストラクト集},
  year = 2011,
}

@inproceedings{CTT100633899,
  author = {Ryo Kashima},
  title = {Finite canonical model for some modal logics},
  booktitle = {},
  year = 2011,
}