2020/08/19
中国の武漢大学において 08/16~08/20 にオンラインで開催された会議 International Workshop on Gödel's Incompleteness Theorems に参加し,"Inclusions between quantified provability logics" というタイトルで招待講演を行いました.
2021/07/26
明治大学の藤原さんとの共著論文"Conservation theorems on semi-classical arithmetic"を arXiv と雑誌に投稿しました.
2021/07/07
ドイツの Tübingen 大学において 07/05~07/09 にハイブリッドで開催された会議 Celebrating 90 Years of Gödel’s Incompleteness Theorems に参加し,"On the second incompleteness theorem and provability logics" というタイトルで招待講演を行いました.
2021/07/01
神戸大学の岩田さんとの共著論文 "Topological semantics of conservativity and interpretability logics" が雑誌 Journal of Logic and Computation に受理されました.
2021/05/30
明治大学の藤原さんとの共著論文 "Prenex normal form theorems in semi-classical arithmetic" が雑誌 The Journal of Symbolic Logic に受理されました.
2021/05/24
論文 "On inclusions between quantified provability logics" が雑誌 Studia Logica に受理されました.
2020/12/24
千葉大学の大学院生の大川君との共著論文"Modal completeness of sublogics of the interpretability logic \(\mathbf{IL}\)" が雑誌 Mathematical Logic Quarterly に受理されました
2019/10/17
千葉大学の院生大川君との共著論文 "On Guaspari's problem about partially conservative sentences'' を投稿しました。
2019/10/08
神戸大学の院生の岩田君との共著論文"Fixed-point properties for predicate modal logics"が論文誌 Annals of the Japan Association for Philosophy of Science に受理されました。
2018/09/20
神戸大学において開催された、Symposium on Advances in Mathematical Logic 2018 において「Rosser provability and the second incompleteness theorem」というタイトルで発表を行いました。
2018/09/17
神戸大学の大学院生岩田君との共著論文 "On arithmetical completeness of the Logic of Proofs" が Annals of Pure and Applied Logic に受理されました。
2018/03/07
金沢東急ホテル・しいのき迎賓館において開催された、Second Workshop on Mathematical Logic and its Applications において、「Normal modal logics and provability predicates」というタイトルで発表を行いました。
2018/02/01
論文 "On partial disjunction properties of theories containing Peano arithmetic" が Archive for Mathematical Logic に受理されました。
2018/01/17
年末に気合を入れて書いた論文 "Rosser provability and normal modal logics" を投稿しました。
2017年
2017/12/22
論文 "Arithmetical soundness and completeness for \(\Sigma_2\) numerations" が Studia Logica に受理されました。
2017/09/10
神戸大学の菊池先生との共著論文 "Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic"が The Review of Symbolic Logic に受理されました。
2017/09/01
神戸大学の大学院生岩田君との共著論文 "On Arithmetical Completeness of the Logic of Proofs" を投稿しました。
2017/08/17
スウェーデンのストックホルム大学において開催された Logic Colloquium 2017 において「Two theorems on provability logics」というタイトルで発表をしました。
2017/07/24
3月から書いている論文 "Provability logics relative to a fixed extension of Peano Arithmetic" をようやく投稿しました。
2017/07/15
早稲田大学において開催された Workshop ``Logic and Philisophy of Mathematics'' において「On partial disjunction properties of theories containing PA」というタイトルで招待講演をしました。藤原さん、どうもありがとうございます。
2017/05/22
論文 "Arithmetical completeness theorem for modal logic \({\sf K}\)" が Studia Logica に受理されました。
2017/04/01
論文 "Arithmetical soundness and completeness by \(\Sigma_2\) numerations" を投稿しました。
2015/08/07
フィンランドのヘルシンキ大学において開催された Logic Colloquium 2015 において「Rosser-type Henkin sentences and local reflection principles」というタイトルで発表を行いました。
2015/08/05
フィンランドのヘルシンキ大学において開催された 15th Congress on Logic, Methodology, and Philosophy of Science において「Heterodox Models of Peano Arithmetic」というタイトルで神戸大学の菊池先生との共同研究に関する発表を行いました。
2015/07/24
神戸大学の菊池先生との共著論文 "Illusory models of Peano Arithmetic" が The Journal of Symbolic Logic に受理されました。
2015/06/14
神戸大学の菊池先生との共著論文 "Liar-type paradoxes and the incompletenss phenomena" が Journal of Philosophical Logic に受理されました。