@book{CTT100597199,
  author = {RYO KASHIMA},
  title = {数理論理学},
  publisher = {朝倉書店},
  year = 2009,
}

@inproceedings{CTT100597198,
  author = {RYO KASHIMA},
  title = {到達可能関係の推移的閉包を扱う様相論理の完全性},
  booktitle = {日本数学会  数学基礎論分科会 講演アブストラクト},
  year = 2009,
}

@misc{CTT100597200,
  author = {RYO KASHIMA},
  title = {A proof of the completeness theorem for the modal logic with  transitive closure of accessibility relation},
  year = 2009,
}