@book{CTT100911810,
  author = {RYO KASHIMA},
  title = {コンピュータサイエンスにおける様相論理},
  publisher = {森北出版},
  year = 2022,
}

@inproceedings{CTT100911805,
  author = {RYO KASHIMA},
  title = {様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について},
  booktitle = {数理解析研究所講究録},
  year = 2022,
}

@inproceedings{CTT100911804,
  author = {加藤裕 and RYO KASHIMA},
  title = {証明可能性論理GLSの意味論とカット除去},
  booktitle = {日本数学会2022年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト},
  year = 2022,
}