Login / Signup
Hiroakira Ono
Publication Activity (10 Years)
Years Active: 1979-2022
Publications (10 Years): 4
Top Topics
Dynamic Epistemic Logic
Sequent Calculus
Natural Deduction
Logic Rules
Top Venues
Rev. Symb. Log.
Log. J. IGPL
LFCS
J. Log. Comput.
</>
Publications
</>