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. "Proof systems for partial incorrectness logic (partial reverse Hoare logic)", CoRR, 2025 https://arxiv.org/abs/2502.21053

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