Yukihiro Oda's page

I am a specially appointed research fellow at Tohoku University. I study Proof Theory for Cyclic Proof Systems.

Keywords:: Logic, Math, Cyclic Proof, Cut-elimination, Induction, Software Verification, LaTeX etc.
email adress:: yukihiro3socrates6hilbert [at] gmail.com
ORCID:: This link takes you to my ORCID page.
Twitter:: This link takes you to my Twitter page.
Blog:: This link takes you to my blog.

Recent work.

Submitted:: Yukihiro Oda. "A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics", CoRR, 2025 https://arxiv.org/abs/2512.15075
Accepted:: Yukihiro Oda, James Brotherston, Makoto Tatsuta, "The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions", Journal of Logic and Computation, 2023;, exad068, https://doi.org/10.1093/logcom/exad068

Contents

Copyright © Yukihiro Oda All right Reserved.