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

@inproceedings{CTT100614888,
  author = {RYO KASHIMA},
  title = {Completeness proof by semantic diagrams for transitive closure of accessibility relation},
  booktitle = {Advances in Modal Logic},
  year = 2010,
}