研究者業績

大川 裕矢

オオカワ ユウヤ  (Yuya Okawa)

基本情報

所属
千葉大学 大学院理学研究院 博士研究員
学位
博士(理学)(2022年3月 千葉大学)

J-GLOBAL ID
202201012133628605
researchmap会員ID
R000032849

経歴

 3

論文

 7
  • Sohei Iwata, Taishi Kurahashi, Yuya Okawa
    Mathematical Logic Quarterly 2023年10月27日  査読有り
    Abstract We focus on the persistence principle over weak interpretability logic. Our object of study is the logic obtained by adding the persistence principle to weak interpretability logic from several perspectives. Firstly, we prove that this logic enjoys a weak version of the fixed point property. Secondly, we introduce a system of sequent calculus and prove the cut‐elimination theorem for it. As a consequence, we prove that the logic enjoys the Craig interpolation property. Thirdly, we show that the logic is the natural basis of a generalization of simplified Veltman semantics, and prove that it has the finite frame property with respect to that semantics. Finally, we prove that it is sound and complete with respect to some appropriate arithmetical semantics.
  • Yuya Okawa
    Studia Logica 1-29 2023年9月20日  査読有り
  • Sohei Iwata, Taishi Kurahashi, Yuya Okawa
    Archive for Mathematical Logic 2023年6月10日  査読有り
    Abstract We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic $$\textbf{IL}$$. We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.
  • Taishi Kurahashi, Yuya Okawa, V.Yu. Shavrukov, Albert Visser
    Annals of Pure and Applied Logic 173(5) 103087-103087 2022年5月  査読有り
  • Taishi Kurahashi, Yuya Okawa
    Notre Dame Journal of Formal Logic 63(1) 2022年2月1日  査読有り

MISC

 1

講演・口頭発表等

 14

担当経験のある科目(授業)

 3

所属学協会

 1