"鹿島亮","様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について","RIMS共同研究(公開型)「数理論理学とその応用」","数理解析研究所講究録",,"Vol. 2233",,"pp. 65-81",2022,Nov.
"加藤裕,鹿島亮","証明可能性論理GLSの意味論とカット除去","日本数学会 秋季総合分科会","日本数学会2022年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト",,,,,2022,Sept.
"鹿島亮","コンピュータサイエンスにおける様相論理",,,"森北出版",,,,2022,Jan.