Hidenori Kurokawa

According to our database, Hidenori Kurokawa authored at least 13 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Resource sharing linear logic.

Hidenori Kurokawa, Hirohiko Kushida

J. Log. Comput., 2020

2019

On the Semantic Concept of Logical Consequence.

Hidenori Kurokawa

Proceedings of the New Frontiers in Artificial Intelligence, 2019

2016

Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause.

Walter Dean, Hidenori Kurokawa

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2014

The Paradox of the Knower revisited.

Walter Dean, Hidenori Kurokawa

Ann. Pure Appl. Log., 2014

2013

Substructural Logic of Proofs.

Hidenori Kurokawa, Hirohiko Kushida

Proceedings of the Logic, Language, Information, and Computation, 2013

Prefixed Tableau Systems for Logic of Proofs and Provability.

Hidenori Kurokawa

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Hypersequent Calculi for Modal Logics Extending S4.

Hidenori Kurokawa

Proceedings of the New Frontiers in Artificial Intelligence, 2013

2012

Tableaux and hypersequents for justification logics.

Hidenori Kurokawa

Ann. Pure Appl. Log., 2012

2010

From the Knowability Paradox to the existence of proofs.

Walter Dean, Hidenori Kurokawa

Synth., 2010

2009

Hypersequent calculi for intuitionistic logic with classical atoms.

Hidenori Kurokawa

Ann. Pure Appl. Log., 2009

Knowledge, proof and the Knower.

Walter Dean, Hidenori Kurokawa

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Tableaux and Hypersequents for Justification Logic.

Hidenori Kurokawa

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2007

Hypersequent Calculus for Intuitionistic Logic with Classical Atoms.

Hidenori Kurokawa

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007