2025/07/07-11
オーストリアのウィーン工科大学において開催された Logic Colloquium 2025 に参加し,「Lyndon interpolation property for extensions of \(\mathbf{S4}\) and intermediate logics」と題して発表しました.
また,指導学生の佐藤君と小暮さんも登壇してそれぞれ共同研究の「Analysis of the pure logic of necessitation and its extensions」と「Some results on partially conservative sentences」の題で発表しました.
2025/07/02
論文 "Refinements of provability and consistency principles for the second incompleteness theorem" を arXiv に投稿しました.
2025/06/27
東京理科大の藤原さんとの共著論文 "Hierarchical formula classes with respect to semi-classical prenex normalization" を学術雑誌と arXiv に投稿しました.
2025/04/19
論文 "Lyndon interpolation property for extensions of \(\mathbf{S4}\) and intermediate propositional logics" が学術雑誌 The Journal of Symbolic Logic に受理されました.