教員情報 - 岩田　荘平 | 愛知学院大学

イワタ　ソウヘイ IWATA Sohei
岩田　荘平

所属教養部教養部本属

職種講師

著書・論文歴
2025/02/26	論文	CUT-FREE SEQUENT CALCULI FOR THE PROVABILITY LOGIC D The Review of Symbolic Logic (共著)
2023/10/27	論文	The persistence principle over weak interpretability logic Mathematical Logic Quarterly 70 (1),37-63頁 (共著)
2022/01	論文	Interpolation Properties for Sacchetti's Logics ``Advances in Mathematical Logic." Springer Proceedings in Mathematics & Statics 369 369,47-76頁 (単著)
2021/10/22	論文	Topological semantics of conserativity and interpretability logics Journal of Logic and Computation 31 (7),1716-1739頁 (共著)
2020/11/18	論文	Fixed-point properties for predicate modal logics Annals of the Japan Association for Philosophy of Science 29,1-25頁 (共著)
2019/02	論文	On arithmetical completeness of the logic of proofs Annals of Pure and Applied Logic 170 (2),163-179頁 (共著)