A proof-theoretic study of the correspondence of classical logic and modal logic. - Hirohiko Kushida; Mitsu Okada (J. Symb. Log., 2003)

A proof-theoretic study of the correspondence of hybrid logic and classical logic. - Hirohiko Kushida; Mitsu Okada (J. Log. Lang. Inf., 2007)

The Modal Logic of Gödel Sentences. - Hirohiko Kushida (J. Philos. Log., 2010)

Substructural Logic of Proofs. - Hidenori Kurokawa; Hirohiko Kushida (WoLLIC, 2013)

Reduction of Modal Logic and Realization in Justification Logic. - Hirohiko Kushida (AiML, 2020)

Resource sharing linear logic. - Hidenori Kurokawa; Hirohiko Kushida (J. Log. Comput., 2020)

A Proof Theory for the Logic of Provability in True Arithmetic. - Hirohiko Kushida (Stud Logica, 2020)

Constructive truth and falsity in Peano arithmetic. - Hirohiko Kushida (J. Log. Comput., 2021)

First-order logic as a constraint satisfaction problem. - Hirohiko Kushida; Robert M. Haralick (Prog. Artif. Intell., 2021)

Logics of Resource and Justification. - Hirohiko Kushida (2021)