Rchr
J-GLOBAL ID：200901026908926754   Update date: Mar. 10, 2023

Tanaka Yoshihito

タナカ ヨシヒト | Tanaka Yoshihito
Affiliation and department：
Kyushu Sangyo University Faculty of Economics, Department of Economics

About Kyushu Sangyo University Faculty of Economics, Department of Economics


Job title： Professor
Research field  (2)： Basic mathematics ,  Information theory
Research keywords  (2)： mathematical logic ,  Non-classical logic
Papers (12)：
  • 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
  • Yoshihito Tanaka. An infinitary extension of Jankov's theorem. Studia Logica. 2007. 86. 1. 111-131
ｍ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
※ 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