RYO KASHIMA

カシマリョウ | RYO KASHIMA

Affiliation and department：
Job title： Associate Professor

Research field (1)： Basic mathematics

Research theme for competitive and other funds (4)：

Papers (4)：

Kento Takagi, Ryo Kashima. On the completeness and the decidability of strictly monadic second-order logic. Mathematical Logic Quarterly. 2021. 66. 4. 438-447
Ryo Kashima, Naosuke Matsuda, Takao Yuyama. Term-Space Semantics of Typed Lambda Calculus. Notre Dame Journal of Formal Logic. 2020. 61. 4
Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda. Reduction Rules for Intuitionistic $${ { \lambda}{\rho } }$$ λ ρ -calculus. Studia Logica. 2015. 103. 6. 1225-1244
R. Kashima. An axiomatization of ECTL. Journal of Logic and Computation. 2013. 24. 1. 117-133

MISC (38)：

ｍore...

Books (4)：

Lectures and oral presentations (10)：

到達可能関係の推移的閉包を扱う様相論理の完全性
(日本数学会数学基礎論分科会講演アブストラクト 2009)
述語様相μ計算の完全性について
(日本数学会2007年度年会 2007)
中間命題論理の公理に関する問題
(日本数学会年会 2006)
Bimodal Logics with Irreflexive Modality
(1st World Congress on Universal Logic 2005)
Bimodal Logics with Irreflexive Modality
(1st World Congress on Universal Logic 2005)

ｍore...

Works (1)：

Education (3)：

- 1991 Tokyo Institute of Technology Graduate School, Division of Science and Engineering
- 1991 Tokyo Institute of Technology Science of Engineering
- 1988 Tokyo Institute of Technology School of Science

Professional career (1)：

Committee career (1)：

Association Membership(s) (3)：

Association for Symbolic Logic , Association for Symbolic Logic , 日本数学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page