研究者
J-GLOBAL ID:200901026908926754   更新日: 2022年04月28日

田中 義人

タナカ ヨシヒト | Tanaka Yoshihito
所属機関・部署:
職名: 教授
研究分野 (2件): 数学基礎 ,  情報学基礎論
研究キーワード (2件): 数理論理学 ,  非古典論理
論文 (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
もっと見る
学歴 (2件):
  • 東京大学 数学科
  • 北陸先端科学技術大学院大学
学位 (1件):
  • 博士(情報科学) (北陸先端科学技術大学院大学)
所属学会 (2件):
情報処理学会 ,  日本数学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る