田中義人

タナカヨシヒト | Tanaka Yoshihito

所属機関・部署：
職名：教授

研究分野 (2件)：数学基礎 , 情報学基礎論

研究キーワード (2件)：数理論理学 , 非古典論理

論文 (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

学歴 (2件)：

学位 (1件)：

所属学会 (2件)：

情報処理学会 , 日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

田中 義人