Hirohiko Kushida

12 papers B 1C 1Misc 1Journal 8
YearRankTypeTitle / Venue / Authors
2021 J jnl
Constructive truth and falsity in Peano arithmetic.
J. Log. Comput.
Hirohiko Kushida
2021 J jnl
First-order logic as a constraint satisfaction problem.
Prog. Artif. Intell.
Hirohiko Kushida, Robert M. Haralick
2021 — —
Logics of Resource and Justification.
Hirohiko Kushida
2020 J jnl
A Proof Theory for the Logic of Provability in True Arithmetic.
Stud Logica
Hirohiko Kushida
2020 Misc conf
On the Constructive Truth and Falsity in Peano Arithmetic.
LFCS
Hirohiko Kushida
2020 B conf
Reduction of Modal Logic and Realization in Justification Logic.
AiML
Hirohiko Kushida
2020 J jnl
Resource sharing linear logic.
J. Log. Comput.
Hidenori Kurokawa, Hirohiko Kushida
2019 J jnl
On the Constructive Truth and Falsity in Peano Arithmetic.
CoRR
Hirohiko Kushida
2013 C conf
Substructural Logic of Proofs.
WoLLIC
Hidenori Kurokawa, Hirohiko Kushida
2010 J jnl
The Modal Logic of Gödel Sentences.
J. Philos. Log.
Hirohiko Kushida
2007 J jnl
A proof-theoretic study of the correspondence of hybrid logic and classical logic.
J. Log. Lang. Inf.
Hirohiko Kushida, Mitsu Okada
2003 J jnl
A proof-theoretic study of the correspondence of classical logic and modal logic.
J. Symb. Log.
Hirohiko Kushida, Mitsu Okada