Hidenori Kurokawa

13 papers B 2C 1Misc 2Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2020 J jnl
Resource sharing linear logic.
J. Log. Comput.
Hidenori Kurokawa, Hirohiko Kushida
2019 — conf
On the Semantic Concept of Logical Consequence.
JSAI-isAI Workshops
Hidenori Kurokawa
2016 — ch.
Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause.
Advances in Proof-Theoretic Semantics
Walter Dean, Hidenori Kurokawa
2014 J jnl
The Paradox of the Knower revisited.
Ann. Pure Appl. Log.
Walter Dean, Hidenori Kurokawa
2013 — conf
Hypersequent Calculi for Modal Logics Extending S4.
JSAI-isAI Workshops
Hidenori Kurokawa
2013 B conf
Prefixed Tableau Systems for Logic of Proofs and Provability.
TABLEAUX
Hidenori Kurokawa
2013 C conf
Substructural Logic of Proofs.
WoLLIC
Hidenori Kurokawa, Hirohiko Kushida
2012 J jnl
Tableaux and hypersequents for justification logics.
Ann. Pure Appl. Log.
Hidenori Kurokawa
2010 J jnl
From the Knowability Paradox to the existence of proofs.
Synth.
Walter Dean, Hidenori Kurokawa
2009 J jnl
Hypersequent calculi for intuitionistic logic with classical atoms.
Ann. Pure Appl. Log.
Hidenori Kurokawa
2009 B conf
Knowledge, proof and the Knower.
TARK
Walter Dean, Hidenori Kurokawa
2009 Misc conf
Tableaux and Hypersequents for Justification Logic.
LFCS
Hidenori Kurokawa
2007 Misc conf
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms.
LFCS
Hidenori Kurokawa