Login / Signup
Taishi Kurahashi
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 26
Top Topics
Normal Form
Hierarchical Classification
Modal Logic
Inference Rules
Top Venues
J. Symb. Log.
Stud Logica
Arch. Math. Log.
Ann. Pure Appl. Log.
</>
Publications
</>