Hirohiko Kushida

Identifiers

• name variant Hirohiko Kushida 0.60 · backfill

Papers (3)

1. A Proof-Theoretic Study of Modal Logic cs.LO · 2026 · author #1
2. Cut-Elimination for the Bimodal Logic GR cs.LO · 2026 · author #1
3. On the Constructive Truth and Falsity in Peano Arithmetic cs.LO · 2019 · author #1

Mentions

• 2605.18043 #1 · arxiv_oai · confidence 0.70 Hirohiko Kushida
• 2605.15732 #1 · arxiv_oai · confidence 0.70 Hirohiko Kushida