Rchr
J-GLOBAL ID：200901026908926754
Update date: Nov. 09, 2024
Tanaka Yoshihito
タナカ ヨシヒト | Tanaka Yoshihito
Affiliation and department：
Job title：
Professor
Research field (2)：
Basic mathematics
, Information theory
Research keywords (2)：
mathematical logic
, Non-classical logic
Papers (13)：
-
Katsumi Sasaki, Yoshihito Tanaka. An omega-rule for the logic of provability and its models. Studia Logica. 2024. 112. 5. 1163-1180
-
Yoshihito Tanaka. An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics. Mathematical Logic Quarterly. 2022. 68. 2. 189-201
-
Yoshihito Tanaka. Duality for kappa-additive complete atomic modal algebras. Algebra Universalis. 2021. 82. 2. 1-20
-
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev. Kripke completeness of strictly positive modal logics over meet-semilattices with operators. The Journal of symbolic logic. 2019. 84. 2. 533-588
-
Yoshihito Tanaka. A cut-free proof system for a predicate extension of the logic of provability. Reports on Mathematical Logic. 2018. 53. 97-109
ｍore...
Education (2)：
- The University of Tokyo Faculty of Science Department of Mathematics
- Japan Advanced Institute of Science and Technology School of Information Science
Professional career (1)：
- Ph D.(Information Science) (Japan Advanced Institute of Science and Technology)
Association Membership(s) (2)：
Information Processing Society of Japan
, The Mathematical Society of Japan
