Hypersequent Calculus for Intuitionistic Logic with Classical Atoms. - Hidenori Kurokawa (LFCS, 2007)

Tableaux and Hypersequents for Justification Logic. - Hidenori Kurokawa (LFCS, 2009)

Knowledge, proof and the Knower. - Walter Dean; Hidenori Kurokawa (TARK, 2009)

Hypersequent calculi for intuitionistic logic with classical atoms. - Hidenori Kurokawa (Ann. Pure Appl. Log., 2009)

From the Knowability Paradox to the existence of proofs. - Walter Dean; Hidenori Kurokawa (Synth., 2010)

Tableaux and hypersequents for justification logics. - Hidenori Kurokawa (Ann. Pure Appl. Log., 2012)

Hypersequent Calculi for Modal Logics Extending S4. - Hidenori Kurokawa (JSAI-isAI Workshops, 2013)

Prefixed Tableau Systems for Logic of Proofs and Provability. - Hidenori Kurokawa (TABLEAUX, 2013)

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

The Paradox of the Knower revisited. - Walter Dean; Hidenori Kurokawa (Ann. Pure Appl. Log., 2014)

Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause. - Walter Dean; Hidenori Kurokawa (Advances in Proof-Theoretic Semantics, 2016)

On the Semantic Concept of Logical Consequence. - Hidenori Kurokawa (JSAI-isAI Workshops, 2019)

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