田中義人

タナカヨシヒト | 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の登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

田中 義人