Rchr
J-GLOBAL ID:200901017173054066
Update date: Sep. 01, 2020
RYO KASHIMA
カシマ リョウ | RYO KASHIMA
Contact this researcher
You can send email directly to the researcher.
Affiliation and department:
Tokyo Institute of Technology School of Computing
About Tokyo Institute of Technology School of Computing
Search "Tokyo Institute of Technology School of Computing"
Detailed information
Job title:
Associate Professor
Research theme for competitive and other funds (4):
nonclassical logics
lambda calculus
非古典論理
ラムダ計算
MISC (37):
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. 2009. C-266
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. 2009. C-266
Ryo Kashima, Keishi Okamoto. General models and completeness of first-order modal mu-calculus. JOURNAL OF LOGIC AND COMPUTATION. 2008. 18. 4. 497-507
Ryo Kashima, Keishi Okamoto. General models and completeness of first-order modal mu-calculus. JOURNAL OF LOGIC AND COMPUTATION. 2008. 18. 4. 497-507
Ryo Ishigaki, Ryo Kashia. Sequent calculi for some strict implication logics. LOGIC JOURNAL OF THE IGPL. 2008. 16. 2. 155-174
more...
Books (4):
数理論理学
朝倉書店 2009 ISBN:9784254117653
C言語による計算の理論
サイエンス社 2008 ISBN:9784781912141
ゲーデルと20世紀の論理学・第3巻・不完全性定理と算術の体系
東京大学出版会 2007
数学基礎論講義-不完全性定理とその発展
日本評論社 1997
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)
more...
Works (1):
様相μ計算に関する研究
2007 - 2007
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):
Doctor of Science
Work history (9):
1998 - 2002 :
1998 - 2002 :東京工業大学 講師
2002 - -:
2002 - -:東京工業大学
1995 - 1998 :
1995 - 1998 :北陸先端科学技術大学院大学 助手
1991 - 1995 :
1991 - 1995 :東京工業大学 助手
助教授
Show all
Committee career (1):
2008 - 日本数学会 数学基礎論分科会運営委員
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
TOP
BOTTOM