TANAKA Yoshihito

J-GLOBAL         Last updated: Oct 12, 2007 at 00:00
 
Avatar
Name
TANAKA Yoshihito
Affiliation
Kyushu Sangyo University
Section
Faculty of Economics, Department of Economics
Job title
Associate Professor
Degree
Ph D.(Information Science)(Japan Advanced Institute of Science and Technology)

Education

 
 
   
 
Information Processing, Graduate School, Division of Information Science, Japan Advanced Institute of Science and Technology
 
 
   
 
Mathematics, Faculty of Science, The University of Tokyo
 

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
Proof systems for common knowlede logic
Yoshihito Tanaka
Kyoto University Research Institute for Mathematical Science Kokyuroku   1301 13-23   2003
A map of common knowledge logics
Mamoru Kaneko, Takashi 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

Research Grants & Projects

 
Algebraic and categorical models for non-classical logics