| 2006 | ||
|---|---|---|
| 4 | Suguru Yoshioka, Mikito Kobayashi, Satoshi Tojo: State Updating of Channel Communication System CBCTL. Artificial Intelligence and Applications 2006: 487-492 | |
| 2005 | ||
| 3 | Suguru Yoshioka, Satoshi Tojo: C BCTL: A Reasoning System of Temporal Epistemic Logic with Communication Channel. WEC (5) 2005: 80-83 | |
| 2 | Suguru Yoshioka, Satoshi Tojo: Many-dimensional Modal Logic of Tense and Temporal Interval and its Decidability. WEC (5) 2005: 9-12 | |
| 2003 | ||
| 1 | Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo: Occurrence Logic with Temporal Heredity. IICAI 2003: 1296-1309 | |
| 1 | Ken Kaneiwa | [1] |
| 2 | Mikito Kobayashi | [4] |
| 3 | Satoshi Tojo | [1] [2] [3] [4] |