田中 義人

J-GLOBALへ         更新日: 07/10/12 00:00
 
アバター
研究者氏名
田中 義人
 
タナカ ヨシヒト
所属
九州産業大学
部署
経済学部 経済学科
職名
准教授
学位
博士(情報科学)(北陸先端科学技術大学院大学)

研究キーワード

 
 

研究分野

 
 

学歴

 
 
   
 
北陸先端科学技術大学院大学 情報科学研究科 情報処理学
 
 
   
 
東京大学 理学部 数学科
 

Misc

 
Yoshihito Tanaka
Studia Logica   86(1) 111-131   2007年
Some proof systems for predicate common knowledge logic
Yoshihito Tanaka
Reports on Mathematical Logic   37 79-100   2003年
共通認識論理の証明系
Yoshihito Tanaka
京都大学数理解析研究所講究録   1301 13-23   2003年
A map of common knowledge logics
Mamoru Kaneko, Tanashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka
Studia Logica   71(1) 57-86   2002年
Rasiowa-Sikorski Lemma and Kripke completeness of predicate and infinitary modal logics
Yoshihito Tanaka, Hiroakira Ono
Advances in Modal Logic volume 2. CSLI Publications, Stanford.   401-419   2001年

競争的資金等の研究課題

 
非古典論理の代数モデルとカテゴリモデル