Occurrence Logic with Temporal Heredity. - Suguru Yoshioka; Ken Kaneiwa; Satoshi Tojo (IICAI, 2003)

Many-dimensional Modal Logic of Tense and Temporal Interval and its Decidability. - Suguru Yoshioka; Satoshi Tojo (WEC (5), 2005)

C BCTL: A Reasoning System of Temporal Epistemic Logic with Communication Channel. - Suguru Yoshioka; Satoshi Tojo (WEC (5), 2005)

State Updating of Channel Communication System CBCTL. - Suguru Yoshioka; Mikito Kobayashi; Satoshi Tojo (Artificial Intelligence and Applications, 2006)

Spacio-Temporal Analysis Using the Web Archive System Based on Ajax. - Suguru Yoshioka; Masumi Morii; Shintaro Matsushima; Seiichi Tani (ICADL, 2008)