研究者
J-GLOBAL ID：202201012133628605   更新日: 2024年01月05日

大川 裕矢

オオカワ ユウヤ | Okawa Yuya
所属機関・部署：
千葉大学 大学院理学研究院

千葉大学 大学院理学研究院 について


職名： 博士研究員
研究分野 (1件)： 数学基礎
研究キーワード (4件)： 証明可能性論理 ,  様相論理 ,  部分保存性 ,  解釈可能性
論文 (7件)：
  • Sohei Iwata, Taishi Kurahashi, Yuya Okawa. The persistence principle over weak interpretability logic. Mathematical Logic Quarterly. 2023
  • Yuya Okawa. Unary Interpretability Logics for Sublogics of the Interpretability Logic IL. Studia Logica. 2023. 1-29
  • Sohei Iwata, Taishi Kurahashi, Yuya Okawa. The fixed point and the Craig interpolation properties for sublogics of IL. Archive for Mathematical Logic. 2023
  • Taishi Kurahashi, Yuya Okawa, V.Yu. Shavrukov, Albert Visser. On Guaspari's problem about partially conservative sentences. Annals of Pure and Applied Logic. 2022. 173. 5. 103087-103087
  • Taishi Kurahashi, Yuya Okawa. Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability. Notre Dame Journal of Formal Logic. 2022. 63. 1
もっと見る
MISC (1件)：
  • Yuya Okawa. Simplified Veltman frames for sublogics of $\mathbf{IL}. 2022
講演・口頭発表等 (14件)：
  • 様相論理 IL^-(P) について
    (日本数学会2023年度年会 2023)
  • 解釈可能性論理IL の部分論理に対する Simplified Veltman frame に関する完全性 について
    (日本数学会2022年度秋季総合分科会 2022)
  • 解釈可能性論理 IL の部分論理に対する不動点定理について
    (数学基礎論若手の会2021 2021)
  • 解釈可能性論理 IL の部分論理に対する単一解釈可能性論理について
    (日本数学会2021年度秋季総合分科会 2021)
  • Craig’s interpolation and the fixed point properties for sublogics of interpretability logic IL
    (Logic Colloquium 2021 2021)
もっと見る
学歴 (3件)：
  • 2019 - 2022 千葉大学大学院 融合理工学府 数学情報科学専攻 (博士後期課程)
  • 2017 - 2019 千葉大学大学院 融合理工学府 数学情報科学専攻 (博士前期課程)
  • 2013 - 2017 千葉大学 理学部 数学・情報数理学科
学位 (1件)：
  • 博士(理学) (千葉大学)
経歴 (3件)：
  • 2022/04 - 2024/03 千葉大学 大学院理学研究院 博士研究員
  • 2019/04 - 2023/11 木更津工業高等専門学校 非常勤講師
  • 2022/04 - 2023/03 日本数学会奨励研究生
所属学会 (1件)：
日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM