Hidenori Kurokawa

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 2

Top Topics

Resource Sharing

Sequent Calculi

Concept Detectors

Inference Rules

Top Venues

JSAI-isAI Workshops

Ann. Pure Appl. Log.

J. Log. Comput.

Publications

Hidenori Kurokawa, Hirohiko Kushida
Resource sharing linear logic. J. Log. Comput. 30 (1) (2020)
Hidenori Kurokawa
On the Semantic Concept of Logical Consequence. JSAI-isAI Workshops (2019)
Walter Dean, Hidenori Kurokawa
The Paradox of the Knower revisited. Ann. Pure Appl. Log. 165 (1) (2014)
Hidenori Kurokawa
Hypersequent Calculi for Modal Logics Extending S4. JSAI-isAI Workshops (2013)
Hidenori Kurokawa, Hirohiko Kushida
Substructural Logic of Proofs. WoLLIC (2013)
Hidenori Kurokawa
Prefixed Tableau Systems for Logic of Proofs and Provability. TABLEAUX (2013)
Hidenori Kurokawa
Tableaux and hypersequents for justification logics. Ann. Pure Appl. Log. 163 (7) (2012)
Walter Dean, Hidenori Kurokawa
From the Knowability Paradox to the existence of proofs. Synth. 176 (2) (2010)
Hidenori Kurokawa
Tableaux and Hypersequents for Justification Logic. LFCS (2009)
Walter Dean, Hidenori Kurokawa
Knowledge, proof and the Knower. TARK (2009)
Hidenori Kurokawa
Hypersequent calculi for intuitionistic logic with classical atoms. Ann. Pure Appl. Log. 161 (3) (2009)
Hidenori Kurokawa
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms. LFCS (2007)