Hirohiko Kushida

According to our database, Hirohiko Kushida authored at least 12 papers between 2003 and 2026.

Collaborative distances:

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

2026

A Proof-Theoretic Study of Modal Logic.

Hirohiko Kushida

CoRR, May, 2026

Cut-Elimination for the Bimodal Logic GR.

Hirohiko Kushida

CoRR, May, 2026

2021

Logics of Resource and Justification.

Hirohiko Kushida

PhD thesis, 2021

First-order logic as a constraint satisfaction problem.

Hirohiko Kushida, Robert M. Haralick

Prog. Artif. Intell., 2021

2020

A Proof Theory for the Logic of Provability in True Arithmetic.

Hirohiko Kushida

Stud Logica, 2020

Resource sharing linear logic.

Hidenori Kurokawa, Hirohiko Kushida

J. Log. Comput., 2020

On the Constructive Truth and Falsity in Peano Arithmetic.

Hirohiko Kushida

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Reduction of Modal Logic and Realization in Justification Logic.

Hirohiko Kushida

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2013

Substructural Logic of Proofs.

Hidenori Kurokawa, Hirohiko Kushida

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

2010

The Modal Logic of Gödel Sentences.

Hirohiko Kushida

J. Philos. Log., 2010

2007

A proof-theoretic study of the correspondence of hybrid logic and classical logic.

Hirohiko Kushida, Mitsu Okada

J. Log. Lang. Inf., 2007

2003

A proof-theoretic study of the correspondence of classical logic and modal logic.

Hirohiko Kushida, Mitsu Okada

J. Symb. Log., 2003