学歴（学位）
所属学会
著書・論文歴
    （最終更新日：2023-11-02 14:49:27）
  イワタ　ソウヘイ   IWATA Sohei
  岩田　荘平
   所属   教養部 教養部本属
   職種   講師
■ 学歴（学位）
1. 2017/04～2020/03 神戸大学 システム情報学研究科 情報科学専攻 博士課程修了
■ 所属学会
1. 2017～ 日本数学会
■ 著書・論文歴
1. 2023/10/27 論文　 The persistence principle over weak interpretability logic Mathematical Logic Quarterly  （共著） Link
2. 2022/01 論文　 Interpolation Properties for Sacchetti's Logics ``Advances in Mathematical Logic." Springer Proceedings in Mathematics & Statics 369 369,pp.47-76 （単著） 
3. 2021/10/22 論文　 Topological semantics of conserativity and interpretability logics Journal of Logic and Computation 31(7),pp.1716-1739 （共著） 
4. 2020/11/18 論文　 Fixed-point properties for predicate modal logics Annals of the Japan Association for Philosophy of Science 29,pp.1-25 （共著） 
5. 2019/02 論文　 On arithmetical completeness of the logic of proofs Annals of Pure and Applied Logic 170(2),pp.163-179 （共著）