I'm a mathematical logician.

My major research interests are Gödel's incompleteness theorems and provability logic.

I'm working at Graduate School of System Informatics, Kobe University, Japan.

My research keywords are as follows:

• The incompleteness theorems (undecidable propositions, theories of arithmetic, paradoxes, partial conservativity, disjunction and extensce properties)
• Provability predicates (derivability conditions, Rosser's predicate)
• Provability logic ($\mathbf{GL}$, interpretability logic $\mathbf{IL}$, logic of proofs $\mathbf{LP}$)
• Modal logic (interpolation theorem, fixed point theorem)
• Modal arithmetic
• Semi-classical arithmetic

CV
researchmap
ResearchGate

Literature Collection on Provability Logic (Some descriptions are in Japanese)