| |
| 2007 | ||
|---|---|---|
| 7 | EE | Yoshihito Tanaka: An Infinitary Extension of Jankov's Theorem. Studia Logica 86(1): 111-131 (2007) |
| 2003 | ||
| 6 | EE | Yoshihito Tanaka: Some Proof Systems for Common Knowledge Predicate. Reports on Mathematical Logic 37: 79-100 (2003) |
| 2002 | ||
| 5 | Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka: A Map of Common Knowledge Logics. Studia Logica 71(1): 57-86 (2002) | |
| 2001 | ||
| 4 | EE | Yoshihito Tanaka: Cut-elimination Theorems for Some Infinitary Modal Logics. Math. Log. Q. 47(3): 327-339 (2001) |
| 3 | Yoshihito Tanaka: Model Existence in Non-Compact Modal Logic. Studia Logica 67(1): 61-73 (2001) | |
| 1999 | ||
| 2 | Yoshihito Tanaka: Kripke Completeness of Infinitary Predicate Multimodal Logics. Notre Dame Journal of Formal Logic 40(3): 326-340 (1999) | |
| 1998 | ||
| 1 | Yoshihito Tanaka, Hiroakira Ono: Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. Advances in Modal Logic 1998: 401-420 | |
| 1 | Mamoru Kaneko | [5] |
| 2 | Takashi Nagashima | [5] |
| 3 | Hiroakira Ono | [1] |
| 4 | Nobu-Yuki Suzuki | [5] |