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

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

@book{CTT100575806,
  author = {鹿島亮},
  title = {C言語による計算の理論},
  publisher = {サイエンス社},
  year = 2008,
}

@book{CTT100532235,
  author = {田中一之 and 鹿島亮 and 山崎武 and 白旗優},
  title = {ゲーデルと20世紀の論理学・第３巻・不完全性定理と算術の体系},
  publisher = {東京大学出版会},
  year = 2007,
}

@book{CTT100536631,
  author = {田中一之 and 鹿島亮 and 角田法也 and 菊池誠},
  title = {数学基礎論講義-不完全性定理とその発展},
  publisher = {日本評論社},
  year = 1997,
}

@article{CTT100846456,
  author = {Ryo Kashima and Naosuke Matsuda and Takao Yuyama},
  title = {Term-Space Semantics of Typed Lambda Calculus},
  journal = {Notre Dame Journal of Formal Logic Volume 61, Number 4, 2020},
  year = 2020,
}

@article{CTT100846452,
  author = {Kento Takagi and Ryo Kashima},
  title = {On the completeness and the decidability of strictly monadic second‐order logic},
  journal = {Mathematical Logic Quarterly},
  year = 2020,
}

@article{CTT100783327,
  author = {Ryo Kashima},
  title = {On Second Order Propositional Intuitionistic Logics},
  journal = {Philosophical Logic: Current Trends in Asia},
  year = 2017,
}

@article{CTT100783328,
  author = {Ryo Kashima},
  title = {Completeness of Second Order Propositional Intuitionistic Logics},
  journal = {Research Reports on Mathematical and Computing Sciences},
  year = 2016,
}

@article{CTT100783329,
  author = {Ken-Etsu Fujita and Ryo Kashima and Yuichi Komori and Naosuke Matsuda},
  title = {Reduction Rules for Intuitionistic λρ-calculus},
  journal = {Studia Logica},
  year = 2015,
}

@article{CTT100687344,
  author = {Ryo Kashima},
  title = {An axiomatization of ECTL},
  journal = {Journal of Logic and Computation},
  year = 2014,
}

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

@article{CTT100575808,
  author = {Ryo Kashima and Keishi Okamoto},
  title = {General models and completeness of first-order modal mu-calculus},
  journal = {Journal of Logic and Computation},
  year = 2008,
}

@article{CTT100575807,
  author = {Ryo Ishigaki and Ryo Kashima},
  title = {Sequent calculi for some strict implication logics},
  journal = {Logic Journal of the IGPL},
  year = 2008,
}

@article{CTT100532810,
  author = {鹿島 亮},
  title = {中間述語論理CDについて},
  journal = {京都大学数理解析研究所講究録},
  year = 2007,
}

@article{CTT100483233,
  author = {Ryo Kashima},
  title = {On Semilattice Relevant Logics},
  journal = {Mathematical Logic Quarterly},
  year = 2003,
}

@article{CTT100386232,
  author = {Ichiro Hasuo and Ryo Kashima},
  title = {Kripke Completeness of First-Order Constructive Logics with Strong Negation},
  journal = {Logic Journal of the Interest Group in Pure and Applied Logics},
  year = 2003,
}

@article{CTT100483232,
  author = {Katsumasa Ishii and Ryo Kashima and Kentaro Kikuchi},
  title = {Sequent Calculi for Visser's Propositional Logics},
  journal = {Notre Dame Journal of Formal Logic},
  year = 2003,
}

@article{CTT100436247,
  author = {Ryo Kashima},
  title = {Completeness of Implicational Relevant Logics},
  journal = {Logic Journal of the IGPL},
  year = 2000,
}

@article{CTT100426444,
  author = {Ryo Kashima and Norihiro Kamide},
  title = {Substructural Implicational Logics Including the Relevant Logic E},
  journal = {Studia Logica},
  year = 1999,
}

@article{CTT100417376,
  author = {RYO KASHIMA},
  title = {Contraction-Elimination for Implicational Logics},
  journal = {Annals of Pure and Applied Logic},
  year = 1997,
}

@article{CTT100417377,
  author = {Ryo Kashima and Takeshi Yamaguchi},
  title = {On the Difficulty of Writing Out Formal Proofs in Arithmetic},
  journal = {Mathematical Logic Quarterly},
  year = 1997,
}

@article{CTT100417374,
  author = {Ryo Kashima and Tatsuya Shimura},
  title = {Cut-Elimination Theorem for the Logic of Constant Domains},
  journal = {Mathematical Logic Quarterly},
  year = 1994,
}

@article{CTT100417373,
  author = {RYO KASHIMA},
  title = {Cut-Free Sequent Calculi for Some Tense Logics},
  journal = {Studia Logica},
  year = 1994,
}

@article{CTT100417375,
  author = {Ryo Kashina and Yuichi Komori},
  title = {The Word Problem for Free BCI-Algebra Is Decidable},
  journal = {Mathematica Japonica},
  year = 1992,
}

@inproceedings{CTT100911896,
  author = {Ryo Kashima},
  title = {Two topics on nested sequent calculi for modal logics},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100911809,
  author = {鹿島亮},
  title = {様相論理の入れ子シークエント計算について},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100911808,
  author = {Ryo Kashima and Taishi Kurahashi and Sohei Iwata},
  title = {Cut-free sequent calculi for the provability logic D},
  booktitle = {arXiv},
  year = 2023,
}

@inproceedings{CTT100911806,
  author = {鹿島亮, 倉橋太志, 岩田荘平},
  title = {証明可能性論理Dのカット無しシークエント計算},
  booktitle = {日本数学会2023年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト},
  year = 2023,
}

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

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

@inproceedings{CTT100846457,
  author = {外丸真一 and 鹿島亮},
  title = {ラムダ計算の2階型付け体系の完全性について},
  booktitle = {日本数学会 2021年度年会 数学基礎論および歴史分科会 講演アブストラクト},
  year = 2021,
}

@inproceedings{CTT100836863,
  author = {鹿島亮},
  title = {ラムダ計算の単純型付け体系の完全性について},
  booktitle = {日本数学会2019年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト},
  year = 2019,
}

@inproceedings{CTT100818802,
  author = {高木研斗 and 鹿島亮},
  title = {狭義単項二階述語論理の完全性について},
  booktitle = {日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト},
  year = 2019,
}

@inproceedings{CTT100783323,
  author = {中村 知己 and 鹿島 亮},
  title = {項内に束縛関係を持つ一階述語論理の構成},
  booktitle = {京都大学数理解析研究所 講究録},
  year = 2018,
}

@inproceedings{CTT100783322,
  author = {鹿島亮 and 中村知己},
  title = {二階の関数記号を持つ一階述語論理について},
  booktitle = {数学基礎論および歴史分科会アブストラクト集},
  year = 2017,
}

@inproceedings{CTT100783326,
  author = {Ryo Kashima},
  title = {On Second Order Propositional Intuitionistic Logics},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100687348,
  author = {鹿島亮},
  title = {Semilattice relevant logic について},
  booktitle = {日本数学会2014年度秋季総合分科会 数学基礎論および歴史分科会アブストラクト},
  year = 2014,
}

@inproceedings{CTT100687346,
  author = {鹿島亮 and 岩波克},
  title = {時相論理CTL*やその部分体系の公理化について},
  booktitle = {日本数学会2013年度秋季総合分科会 数学基礎論および歴史分科会アブストラクト},
  year = 2013,
}

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

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

@inproceedings{CTT100614884,
  author = {鹿島亮},
  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,
}

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

@inproceedings{CTT100532809,
  author = {鹿島 亮},
  title = {述語様相μ計算の完全性について},
  booktitle = {数学基礎論分科会講演アブストラクト},
  year = 2007,
}

@inproceedings{CTT100542779,
  author = {鹿島亮},
  title = {中間命題論理の公理に関する問題},
  booktitle = {日本数学会数学基礎論分科会アブストラクト集},
  year = 2006,
}

@inproceedings{CTT100540658,
  author = {Katsuhiko Sano and Ryo Kashima},
  title = {Bimodal Logics with Irreflexive Modality},
  booktitle = {Proceedings of 1st World Congress on Universal Logic},
  year = 2005,
}

@inproceedings{CTT100386241,
  author = {鹿島亮},
  title = {非反射的様相を持つ論理の完全性について},
  booktitle = {日本数学会数学基礎論分科会アブストラクト集},
  year = 2004,
}

@inproceedings{CTT100455783,
  author = {鹿島亮},
  title = {Semilattice Relevant Logics について},
  booktitle = {アブストラクト集},
  year = 2001,
}

@inproceedings{CTT100455782,
  author = {Ryo Kashima},
  title = {On the Standardization Theorem for Lambda-Beta-Eta-Calculus},
  booktitle = {Proceedings},
  year = 2001,
}

@inproceedings{CTT100436250,
  author = {鹿島亮},
  title = {非古典論理のシーケント計算 ―  完全性定理のシーケント計算による証明},
  booktitle = {アブストラクト集},
  year = 1999,
}

@misc{CTT100911807,
  author = {Ryo Kashima and Yutaka Kato},
  title = {Semantical cut-elimination for the provability logic of true arithmetic},
  year = 2023,
}

@misc{CTT100818803,
  author = {Kento Takagi and Ryo Kashima},
  title = {On the Completeness and the Decidability of Strictly Monadic Second-Order Logic},
  year = 2019,
}

@misc{CTT100687350,
  author = {鹿島亮},
  title = {ホーア論理・ダイナミック論理},
  year = 2014,
}

@misc{CTT100687340,
  author = {Ryo Kashima},
  title = {Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL},
  year = 2012,
}

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

@misc{CTT100532236,
  author = {Ryo Kashima and Keishi Okamoto},
  title = {Completeness Theorem of First-Order Modal mu-calculus},
  year = 2007,
}

@misc{CTT100483285,
  author = {Ichiro Hasuo and Ryo Kashima},
  title = {A Proof-Theoretical Study on Logics with  Constructible Falsity},
  year = 2003,
}

@misc{CTT100459747,
  author = {Ryo Kashima},
  title = {Proof Theoretical Studies on Semilattice Relevant Logics},
  year = 2001,
}

@misc{CTT100436252,
  author = {Ryo Kashima},
  title = {A Proof of the Standardization Theorem in Lambda-Calculus},
  year = 2000,
}

@misc{CTT100436251,
  author = {Ryo Kashima},
  title = {Labelled sequent calculi and completeness theorems for implicational relevant logics},
  year = 1999,
}

@misc{CTT100594605,
  author = {RYO KASHIMA},
  title = {Proof Theoretical Studies of Classical/Nonclassical Logics},
  year = 1995,
}



@phdthesis{CTT100594605,
  author = {RYO KASHIMA},
  title = {Proof Theoretical Studies of Classical/Nonclassical Logics},
  school = {東京工業大学},
  year = 1995,
}