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

Interpolation properties for several logics
Literature Collection on Provability Logic (Some descriptions are in Japanese)