Hirohiko Kushida

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 7

Top Topics

Resource Sharing

Space Filling Curves

Top Venues

J. Log. Comput.

Publications

Hirohiko Kushida, Robert M. Haralick
First-order logic as a constraint satisfaction problem. Prog. Artif. Intell. 10 (4) (2021)
Hirohiko Kushida
Constructive truth and falsity in Peano arithmetic. J. Log. Comput. 31 (1) (2021)
Hirohiko Kushida
A Proof Theory for the Logic of Provability in True Arithmetic. Stud Logica 108 (4) (2020)
Hirohiko Kushida
On the Constructive Truth and Falsity in Peano Arithmetic. LFCS (2020)
Hirohiko Kushida
Reduction of Modal Logic and Realization in Justification Logic. AiML (2020)
Hidenori Kurokawa, Hirohiko Kushida
Resource sharing linear logic. J. Log. Comput. 30 (1) (2020)
Hirohiko Kushida
On the Constructive Truth and Falsity in Peano Arithmetic. CoRR (2019)
Hidenori Kurokawa, Hirohiko Kushida
Substructural Logic of Proofs. WoLLIC (2013)
Hirohiko Kushida
The Modal Logic of Gödel Sentences. J. Philos. Log. 39 (5) (2010)
Hirohiko Kushida, Mitsu Okada
A proof-theoretic study of the correspondence of hybrid logic and classical logic. J. Log. Lang. Inf. 16 (1) (2007)
Hirohiko Kushida, Mitsu Okada
A proof-theoretic study of the correspondence of classical logic and modal logic. J. Symb. Log. 68 (4) (2003)