Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. - Yoshihito Tanaka; Hiroakira Ono (Advances in Modal Logic, 1998)

Kripke Completeness of Infinitary Predicate Multimodal Logics. - Yoshihito Tanaka (Notre Dame J. Formal Log., 1999)

Cut-elimination Theorems for Some Infinitary Modal Logics. - Yoshihito Tanaka (Math. Log. Q., 2001)

Model Existence in Non-Compact Modal Logic. - Yoshihito Tanaka (Stud Logica, 2001)

A Map of Common Knowledge Logics. - Mamoru Kaneko; Takashi Nagashima; Nobu-Yuki Suzuki; Yoshihito Tanaka (Stud Logica, 2002)

Some Proof Systems for Common Knowledge Predicate. - Yoshihito Tanaka (Reports Math. Log., 2003)

An Infinitary Extension of Jankov's Theorem. - Yoshihito Tanaka (Stud Logica, 2007)

A cut-free proof system for a predicate extension of the logic of provability. - Yoshihito Tanaka (Reports Math. Log., 2018)

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. - Stanislav Kikot; Agi Kurucz; Yoshihito Tanaka; Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2019)

Evaluation of Pseudo-Haptics system feedbacking muscle activity. - Yoshihito Tanaka; Akira Kubota (VRST, 2022)

An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics. - Yoshihito Tanaka (Math. Log. Q., 2022)

An ømega-Rule for the Logic of Provability and Its Models. - Katsumi Sasaki; Yoshihito Tanaka (Stud Logica, 2024)