論文

• Ryo Kashima, Naosuke Matsuda, Takao Yuyama. Term-Space Semantics of Typed Lambda Calculus, Notre Dame Journal of Formal Logic Volume 61, Number 4, 2020, Vol. 61, No. 4, pp. 591-600, Nov. 2020.
• Kento Takagi, Ryo Kashima. On the completeness and the decidability of strictly monadic second‐order logic, Mathematical Logic Quarterly, Vol. 66, No. 4, pp. 438-447, 2020.
• Ryo Kashima. On Second Order Propositional Intuitionistic Logics, Philosophical Logic: Current Trends in Asia, June 2017.
• Ryo Kashima. Completeness of Second Order Propositional Intuitionistic Logics, Research Reports on Mathematical and Computing Sciences, C-284, Aug. 2016.
• Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda. Reduction Rules for Intuitionistic λρ-calculus, Studia Logica, Vol. 103, No. 6, pp. 1225-1244, 2015.
• Ryo Kashima. An axiomatization of ECTL, Journal of Logic and Computation, Vol. 24, No. 1, pp. 117-133, Feb. 2014.
• 鹿島亮. 到達可能関係の推移閉包を扱う様相論理のカノニカルモデルについて, 京都大学数理解析研究所講究録, 京都大学数理解析研究所, 1729, pp. 36-47, Feb. 2011.
• Ryo Kashima, Keishi Okamoto. General models and completeness of first-order modal mu-calculus, Journal of Logic and Computation, Vol. 18, No. 4, pp. 497-507, Aug. 2008.
• Ryo Ishigaki, Ryo Kashima. Sequent calculi for some strict implication logics, Logic Journal of the IGPL, Vol. 16, No. 2, pp. 155-174, Apr. 2008.
• 鹿島 亮. 中間述語論理CDについて, 京都大学数理解析研究所講究録, 京都大学数理解析研究所, Vol. 1533, pp. 1-8, Feb. 2007.
• Ryo Kashima. On Semilattice Relevant Logics, Mathematical Logic Quarterly, Vol. 49, No. 4, pp. 401-414, 2003.
• Ichiro Hasuo, Ryo Kashima. Kripke Completeness of First-Order Constructive Logics with Strong Negation, Logic Journal of the Interest Group in Pure and Applied Logics, Vol. 11, No. 6, pp. 615-646, 2003.
• Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi. Sequent Calculi for Visser's Propositional Logics, Notre Dame Journal of Formal Logic, Vol. 42, No. 1, pp. 1-22, 2003.
• Ryo Kashima. Completeness of Implicational Relevant Logics, Logic Journal of the IGPL, Vol. 8, No. 6, pp. 761-785, 2000.
• Ryo Kashima, Norihiro Kamide. Substructural Implicational Logics Including the Relevant Logic E, Studia Logica, Vol. 63, No. 2, pp. 181-212, 1999.
• RYO KASHIMA. Contraction-Elimination for Implicational Logics, Annals of Pure and Applied Logic, Vol. 84, pp. 17-39, 1997.
• Ryo Kashima, Takeshi Yamaguchi. On the Difficulty of Writing Out Formal Proofs in Arithmetic, Mathematical Logic Quarterly, Vol. 43, pp. 328-332, 1997.
• Ryo Kashima, Tatsuya Shimura. Cut-Elimination Theorem for the Logic of Constant Domains, Mathematical Logic Quarterly, Vol. 40, pp. 153, 1994.
• RYO KASHIMA. Cut-Free Sequent Calculi for Some Tense Logics, Studia Logica, Vol. 53, pp. 119, 1994.
• Ryo Kashina, Yuichi Komori. The Word Problem for Free BCI-Algebra Is Decidable, Mathematica Japonica, Vol. 37, pp. 1025, 1992.

著書

• 鹿島亮. コンピュータサイエンスにおける様相論理, 森北出版, Jan. 2022.
• 鹿島亮. 数理論理学, 朝倉書店, Oct. 2009.
• 鹿島亮. C言語による計算の理論, サイエンス社, Oct. 2008.
• 田中一之, 鹿島亮, 山崎武, 白旗優. ゲーデルと20世紀の論理学・第３巻・不完全性定理と算術の体系, 東京大学出版会, Mar. 2007.
• 田中一之, 鹿島亮, 角田法也, 菊池誠. 数学基礎論講義-不完全性定理とその発展, 日本評論社, 日本評論社, 1997.

国際会議発表 (査読有り)

• Ryo Kashima. On Second Order Propositional Intuitionistic Logics, The Joint Conference of The 3rd Asian Workshop on Philosophical Logic (AWPL 2016) & The 3rd Taiwan Philosophical Logic Colloquium (TPLC 2016), Oct. 2016.
• RYO KASHIMA. Completeness proof by semantic diagrams for transitive closure of accessibility relation, Advances in Modal Logic, Advances in Modal Logic, Volume 8, pp. 200-217, Aug. 2010.  公式リンク  
  

国際会議発表 (査読なし・不明)

• Ryo Kashima. Two topics on nested sequent calculi for modal logics, 6th Asian Workshop on Philosophical Logic, Mar. 2024.
• Ryo Kashima, Taishi Kurahashi, Sohei Iwata. Cut-free sequent calculi for the provability logic D, The 17th Asian Logic Conference, arXiv, Oct. 2023.
• Ryo Kashima. Finite canonical model for some modal logics, Workshop on Proof Theory and Computability Theory, Feb. 2011.
• Katsuhiko Sano, Ryo Kashima. Bimodal Logics with Irreflexive Modality, 1st World Congress on Universal Logic, Proceedings of 1st World Congress on Universal Logic, pp. 93, Apr. 2005.
• Ryo Kashima. On the Standardization Theorem for Lambda-Beta-Eta-Calculus, International Workshop on Rewriting in Proof and Computation (RPC'01), Proceedings, pp. 119-129, 2001.

国内会議発表 (査読なし・不明)

• 鹿島亮. 様相論理の入れ子シークエント計算について, RIMS共同研究(公開型)「証明論と計算論の最前線」, 2024.
• 鹿島亮, 倉橋太志, 岩田荘平. 証明可能性論理Dのカット無しシークエント計算, 日本数学会秋季総合分科会, 日本数学会2023年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト, Sept. 2023.
• 鹿島亮. 様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について, RIMS共同研究(公開型)「数理論理学とその応用」, 数理解析研究所講究録, Vol. 2233, pp. 65-81, Nov. 2022.
• 加藤裕, 鹿島亮. 証明可能性論理GLSの意味論とカット除去, 日本数学会 秋季総合分科会, 日本数学会2022年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト, Sept. 2022.
• 外丸真一, 鹿島亮. ラムダ計算の2階型付け体系の完全性について, 日本数学会 2021年度年会, 日本数学会 2021年度年会 数学基礎論および歴史分科会 講演アブストラクト, pp. 7-8, Mar. 2021.
• 鹿島亮. ラムダ計算の単純型付け体系の完全性について, 日本数学会2019年度秋季総合分科会, 日本数学会2019年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト, Sept. 2019.
• 高木研斗, 鹿島亮. 狭義単項二階述語論理の完全性について, 日本数学会2019年会, 日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト, p. 35, Mar. 2019.
• 中村 知己, 鹿島 亮. 項内に束縛関係を持つ一階述語論理の構成, RIMS 共同研究, 京都大学数理解析研究所 講究録, Vol. 2083, Aug. 2018.
• 鹿島亮, 中村知己. 二階の関数記号を持つ一階述語論理について, 日本数学会2017年度秋季総合分科会, 数学基礎論および歴史分科会アブストラクト集, Sept. 2017.
• 鹿島亮. Semilattice relevant logic について, 日本数学会秋季総合分科会, 日本数学会2014年度秋季総合分科会 数学基礎論および歴史分科会アブストラクト, Sept. 2014.
• 鹿島亮, 岩波克. 時相論理CTL*やその部分体系の公理化について, 日本数学会秋季総合分科会, 日本数学会2013年度秋季総合分科会 数学基礎論および歴史分科会アブストラクト, Sept. 2013.
• 鹿島 亮. 様相論理 CTL* などの完全性について, 日本数学会2011年度秋季総合分科会, 日本数学会数学基礎論分科会アブストラクト集, Sept. 2011.
• 鹿島亮. 到達可能関係の推移的閉包を扱う様相論理の完全性（２）, 日本数学会2010年度秋季総合分科会, 日本数学会数学基礎論分科会アブストラクト集, Sept. 2010.
• 鹿島亮. 到達可能関係の推移的閉包を扱う様相論理の完全性, 日本数学会 数学基礎論分科会 講演アブストラクト, Sept. 2009.
• 鹿島 亮. 述語様相μ計算の完全性について, 日本数学会2007年度年会, 数学基礎論分科会講演アブストラクト, pp. 10, Mar. 2007.
• 鹿島亮. 中間命題論理の公理に関する問題, 日本数学会年会, 日本数学会数学基礎論分科会アブストラクト集, pp. 21, Mar. 2006.
• 鹿島亮. 非反射的様相を持つ論理の完全性について, 日本数学会2004年度秋季総合分科会, 日本数学会数学基礎論分科会アブストラクト集, pp. 24-25, Sept. 2004.
• 鹿島亮. Semilattice Relevant Logics について, 日本数学会2001年度秋季総合分科会数学基礎論分科会, アブストラクト集, pp. 6-7, Oct. 2001.
• 鹿島亮. 非古典論理のシーケント計算 ― 完全性定理のシーケント計算による証明, 日本数学会 数学基礎論分科会 1999年度年会, アブストラクト集, pp. 49-67, Mar. 1999.

その他の論文・著書など

• Ryo Kashima, Yutaka Kato. Semantical cut-elimination for the provability logic of true arithmetic, arXiv, Sept. 2023.
• Kento Takagi, Ryo Kashima. C-286,  On the Completeness and the Decidability of Strictly Monadic Second-Order Logic, Research Reports on Mathematical and Computing Sciences, Department of Mathematical and Computing Sciences Tokyo Institute of Technology, Apr. 2019.
• 鹿島亮. ホーア論理・ダイナミック論理, 数学セミナー 11月号, pp. 26-31, Oct. 2014.
• Ryo Kashima. C-279,  Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL, Research Reports on Mathematical and Computing Sciences, Mar. 2012.
• RYO KASHIMA. A proof of the completeness theorem for the modal logic with transitive closure of accessibility relation, Research Reports on Mathematical and Computing Sciences, Tokyo Institute of Technology, C-266, Dec. 2009.
• Ryo Kashima, Keishi Okamoto. Completeness Theorem of First-Order Modal mu-calculus, Research Reports on Mathematical and Computing Sciences, TIT, Vol. C-244, Apr. 2007.
• Ichiro Hasuo, Ryo Kashima. A Proof-Theoretical Study on Logics with Constructible Falsity, Research Reports on Mathematical and Computing Sciences, TIT, Vol. C-165, 2003.
• Ryo Kashima. Proof Theoretical Studies on Semilattice Relevant Logics, Research Reports on Mathematical and Computing Sciences, TIT, Vol. C-157, 2001.
• Ryo Kashima. A Proof of the Standardization Theorem in Lambda-Calculus, Research Reports on Mathematical and Computing Sciences, TIT, Vol. C-145, 2000.
• Ryo Kashima. Labelled sequent calculi and completeness theorems for implicational relevant logics, Research Reports on Mathematical and Computing Sciences, TIT, Vol. C-140, 1999.

学位論文

• Proof Theoretical Studies of Classical/Nonclassical Logics,  本文,  Doctor of Science,  東京工業大学,  1995/--/--, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]