• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

kurahashi taishi  倉橋 太志

… Alternative Names

Kurahashi Taishi  倉橋 太志

Less
Researcher Number 10738446
Other IDs
  • ORCIDhttps://orcid.org/0000-0003-2016-5980
Affiliation (Current) 2025: 神戸大学, システム情報学研究科, 准教授
Affiliation (based on the past Project Information) *help 2020 – 2023: 神戸大学, システム情報学研究科, 准教授
2016 – 2019: 木更津工業高等専門学校, 基礎学系, 講師
2014 – 2015: 木更津工業高等専門学校, その他部局等, 講師
Review Section/Research Field
Principal Investigator
Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics
Keywords
Principal Investigator
形式的算術 / 不完全性定理 / 数学基礎論 / 数理論理学 / 様相論理 / 算術のモデル / 証明可能性論理 / 証明可能性述語 / 証明可能性 / 超準モデル … More / 決定不可能命題 / クリプキ意味論 / 部分的な保存性 / 形式的証明可能性 / 算術の超準モデル / 可証性述語 Less
  • Research Projects

    (4 results)
  • Research Products

    (99 results)
  • Co-Researchers

    (1 People)
  •  Study of the properties of formal provabilityPrincipal Investigator

    • Principal Investigator
      倉橋 太志
    • Project Period (FY)
      2023 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      Kobe University
  •  Research of formal provability by means of the investigation of incompleteness theoremsPrincipal Investigator

    • Principal Investigator
      Kurahashi Taishi
    • Project Period (FY)
      2019 – 2023
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      Kobe University
      Kisarazu National College of Technology
  •  Research of the structure of proofs in nonstandard models and formal theoriesPrincipal Investigator

    • Principal Investigator
      Kurahashi Taishi
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Kisarazu National College of Technology
  •  Research of formal provability by means of the analysis of provability predicatesPrincipal Investigator

    • Principal Investigator
      Kurahashi Taishi
    • Project Period (FY)
      2014 – 2015
    • Research Category
      Grant-in-Aid for Research Activity Start-up
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Kisarazu National College of Technology

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014

All Journal Article Presentation Book

  • [Book] 数学における証明と真理-様相論理と数学基礎論2016

    • Author(s)
      佐野勝彦・倉橋太志・薄葉季路・黒川英徳・菊池誠
    • Total Pages
      288
    • Publisher
      共立出版
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Journal Article] On the conservation results for local reflection principles2024

    • Author(s)
      Kogure Haruka、Kurahashi Taishi
    • Journal Title

      Journal of Logic and Computation

      Volume: - Issue: 2

    • DOI

      10.1093/logcom/exad076

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K03200, KAKENHI-PROJECT-19K14586
  • [Journal Article] The provability logic of all provability predicates2023

    • Author(s)
      Kurahashi Taishi
    • Journal Title

      Journal of Logic and Computation

      Volume: - Issue: 6 Pages: 1108-1135

    • DOI

      10.1093/logcom/exad060

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K03200, KAKENHI-PROJECT-19K14586
  • [Journal Article] The persistence principle over weak interpretability logic2023

    • Author(s)
      Iwata Sohei、Kurahashi Taishi、Okawa Yuya
    • Journal Title

      Mathematical Logic Quarterly

      Volume: - Issue: 1 Pages: 37-63

    • DOI

      10.1002/malq.202200020

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K03200, KAKENHI-PROJECT-19K14586
  • [Journal Article] Arithmetical completeness theorems for monotonic modal logics2023

    • Author(s)
      Haruka Kogure Haruka and Taishi Kurahashi
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 174 Issue: 7 Pages: 103271-103271

    • DOI

      10.1016/j.apal.2023.103271

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Some observations on the FGH theorem2023

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Studia Logica

      Volume: - Issue: 5 Pages: 1-30

    • DOI

      10.1007/s11225-023-10045-6

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Prenex normalization and the hierarchical classification of formulas2023

    • Author(s)
      Fujiwara Makoto、Kurahashi Taishi
    • Journal Title

      Archive for Mathematical Logic

      Volume: 63 Issue: 3-4 Pages: 391-403

    • DOI

      10.1007/s00153-023-00899-x

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-23K03200, KAKENHI-PROJECT-23K03205, KAKENHI-PROJECT-19K14586, KAKENHI-PROJECT-20K14354
  • [Journal Article] The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$2023

    • Author(s)
      Iwata Sohei、Kurahashi Taishi、Okawa Yuya
    • Journal Title

      Archive for Mathematical Logic

      Volume: 63 Issue: 1-2 Pages: 1-37

    • DOI

      10.1007/s00153-023-00882-6

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K03200, KAKENHI-PROJECT-19K14586
  • [Journal Article] On Guaspari's problem about partially conservative sentences2022

    • Author(s)
      Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov and Albert Visser
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 173 Issue: 5 Pages: 103087-103087

    • DOI

      10.1016/j.apal.2022.103087

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] On inclusions between quantified provability logics2022

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Studia Logica

      Volume: 110 Issue: 1 Pages: 165-188

    • DOI

      10.1007/s11225-021-09957-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] 証明可能性述語の様相論理2022

    • Author(s)
      倉橋太志
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 2233 Pages: 1-18

    • Open Access
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Effectively constructible fixed points in Sacchetti's modal logics of provability2022

    • Author(s)
      Taishi Kurahashi and Yuya Okawa
    • Journal Title

      Notre Dame Journal of Formal Logic

      Volume: 63 Issue: 1

    • DOI

      10.1215/00294527-2022-0003

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Conservation theorems on semi-classical arithmetic2022

    • Author(s)
      Makoto Fujiwara and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: To appear Issue: 4 Pages: 1469-1496

    • DOI

      10.1017/jsl.2022.25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19J01239, KAKENHI-PROJECT-19K14586, KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-20K14354
  • [Journal Article] DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC2022

    • Author(s)
      Taishi Kurahashi and Motoki Okuda
    • Journal Title

      The Review of Symbolic Logic

      Volume: - Issue: 1 Pages: 1-28

    • DOI

      10.1017/s1755020322000363

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Refining the arithmetical hierarchy of classical principles2022

    • Author(s)
      Makoto Fujiwara and Taishi Kurahashi
    • Journal Title

      Mathematical Logic Quarterly

      Volume: 68 Issue: 3 Pages: 318-345

    • DOI

      10.1002/malq.202000077

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586, KAKENHI-PROJECT-20K14354, KAKENHI-PROJECT-21KK0045
  • [Journal Article] 不完全性定理の数学的発展2021

    • Author(s)
      倉橋太志
    • Journal Title

      数学

      Volume: 73 Pages: 60-87

    • NAID

      40022471614

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Modal completeness of sublogics of the interpretability logic IL2021

    • Author(s)
      Taishi Kurahashi and Yuya Okawa
    • Journal Title

      Mathematical Logic Quarterly

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Prenex normal form theorems in semi-classical arithmetic2021

    • Author(s)
      Makoto Fujiwara and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 86 Issue: 3 Pages: 1124-1153

    • DOI

      10.1017/jsl.2021.47

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19J01239, KAKENHI-PROJECT-19K14586, KAKENHI-PROJECT-20K14354
  • [Journal Article] Topological semantics of conservativity and interpretability logics2021

    • Author(s)
      Sohei Iwata and Taishi Kurahashi
    • Journal Title

      Journal of Logic and Computation

      Volume: 31 Issue: 7 Pages: 1716-1739

    • DOI

      10.1093/logcom/exab046

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Uniform Lyndon interpolation property in propositional modal logics2020

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Archive for Mathematical Logic

      Volume: - Issue: 5-6 Pages: 659-678

    • DOI

      10.1007/s00153-020-00713-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] A note on derivability conditions2020

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 85 Issue: 3 Pages: 1224-1253

    • DOI

      10.1017/jsl.2020.33

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Rosser provability and normal modal logics2019

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Studia Logica

      Volume: - Issue: 3 Pages: 597-617

    • DOI

      10.1007/s11225-019-09865-2

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Rosser provability and the second incompleteness theorem2019

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Symposium on Advances in Mathematical Logic 2018 proceedings

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] Fixed-point properties for predicate modal logics2019

    • Author(s)
      Sohei Iwata and Taishi Kurahashi
    • Journal Title

      Annals of the Japan Association for Philosophy of Science

      Volume: -

    • NAID

      130007940567

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Journal Article] On arithmetical completeness of the Logic of Proofs2019

    • Author(s)
      Sohei Iwata and Taishi Kurahashi
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 170 Issue: 2 Pages: 163-179

    • DOI

      10.1016/j.apal.2018.09.004

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] On partial disjunction properties of theories containing Peano arithmetic2018

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Archive for Mathematical Logic

      Volume: 印刷中 Issue: 7-8 Pages: 953-980

    • DOI

      10.1007/s00153-018-0618-3

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
  • [Journal Article] Provability logics relative to a fixed extension of Peano Arithmetic2018

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 83 Issue: 3 Pages: 1229-1246

    • DOI

      10.1017/jsl.2018.27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] Arithmetical completeness theorem for modal logic K2018

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Studia Logica

      Volume: 106 Issue: 2 Pages: 219-235

    • DOI

      10.1007/s11225-017-9735-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
  • [Journal Article] Arithmetical soundness and completeness for Σ2 numerations2018

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Studia Logica

      Volume: 印刷中 Issue: 6 Pages: 1181-1196

    • DOI

      10.1007/s11225-017-9782-4

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
  • [Journal Article] Generalizations of Godel's incompleteness theorems for Σ_n-definable theories of arithmetic2017

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Review of Symbolic Logic

      Volume: 10 Issue: 4 Pages: 603-616

    • DOI

      10.1017/s1755020317000235

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K17653, KAKENHI-PROJECT-17H02263
  • [Journal Article] Universal Rosser predicates2017

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 82 Issue: 1 Pages: 292-302

    • DOI

      10.1017/jsl.2016.19

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] 計算可能前構造と横山吉川の性質2017

    • Author(s)
      樋口幸治郎・倉橋太志
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 2050

    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] Illusory models of Peano arithmetic2016

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: 81 Issue: 3 Pages: 1163-1175

    • DOI

      10.1017/jsl.2015.52

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Journal Article] Illusory models of Peano arithmetic2016

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: (印刷中)

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Journal Article] Henkin sentences and local reflection principles for Rosser provability2016

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 167 Issue: 2 Pages: 73-94

    • DOI

      10.1016/j.apal.2015.10.002

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Journal Article] Universal Rosser predicates2016

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      The Journal of Symbolic Logic

      Volume: (印刷中)

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Journal Article] Liar-type paradoxes and the incompleteness phenomena2015

    • Author(s)
      Makoto Kikuchi and Taishi Kurahashi
    • Journal Title

      Journal of Philosophical Logic

      Volume: (印刷中) Issue: 4 Pages: 381-398

    • DOI

      10.1007/s10992-015-9378-2

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26887045, KAKENHI-PROJECT-16K17653
  • [Journal Article] Rosser-type undecidable sentences based on Yablo's paradox2014

    • Author(s)
      Taishi Kurahashi
    • Journal Title

      Journal of Philosophical Logic

      Volume: (掲載確定) Issue: 5 Pages: 999-1017

    • DOI

      10.1007/s10992-013-9309-z

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-12J00654, KAKENHI-PROJECT-26887045
  • [Presentation] 必然化の論理 N の拡張論理の有限フレーム性と補間定理2024

    • Author(s)
      佐藤雄太・倉橋太志
    • Organizer
      第58回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 証明可能性論理 GR の補間定理2024

    • Author(s)
      小暮晏佳・倉橋太志
    • Organizer
      第58回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 必然化の論理 N の拡張論理の有限フレーム性2024

    • Author(s)
      佐藤雄太・倉橋太志
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 必然化の論理 N の拡張論理の有限フレーム性と補間定理2024

    • Author(s)
      佐藤雄太、倉橋太志
    • Organizer
      第58回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 局所反映原理に関する保存性について2024

    • Author(s)
      小暮晏佳・倉橋太志
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 理論の不完全性,決定不能性,分離不能性2024

    • Author(s)
      倉橋太志、Albert Visser
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 理論の不完全性,決定不能性,分離不能性2024

    • Author(s)
      倉橋太志・Albert Visser
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 証明可能性-強制様相論理 PF について2024

    • Author(s)
      倉橋太志・高瀬理人
    • Organizer
      第58回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 証明可能性論理 GR の補間定理2024

    • Author(s)
      小暮晏佳、倉橋太志
    • Organizer
      第58回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 必然化の論理 N の拡張論理の有限フレーム性2024

    • Author(s)
      佐藤雄太、倉橋太志
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 証明可能性-強制様相論理2024

    • Author(s)
      高瀬理人、倉橋太志
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 証明可能性-強制様相論理2024

    • Author(s)
      高瀬理人・倉橋太志
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 局所反映原理に関する保存性について2024

    • Author(s)
      小暮晏佳、倉橋太志
    • Organizer
      日本数学会 2024年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 証明可能性-強制様相論理 PF について2024

    • Author(s)
      倉橋太志、高瀬理人
    • Organizer
      第58回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 単調性を満たす証明可能性述語の様相論理2023

    • Author(s)
      倉橋太志・小暮晏佳
    • Organizer
      日本数学会 2023年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 様相論理 IL-(P) について2023

    • Author(s)
      岩田荘平・大川裕矢・倉橋太志
    • Organizer
      日本数学会 2023年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 局所反映原理における保存性2023

    • Author(s)
      小暮晏佳・倉橋太志
    • Organizer
      証明論研究集会2023 証明論と計算論の最前線
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 理論の不完全性,決定不能性,分離不能性2023

    • Author(s)
      倉橋太志
    • Organizer
      第2回 ロジック・ウィンタースクール
    • Invited
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 証明可能性論理 D のカット無しシークエント計算2023

    • Author(s)
      鹿島亮、倉橋太志、岩田荘平
    • Organizer
      日本数学会 2023年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 証明可能性論理 D のカット無しシークエント計算2023

    • Author(s)
      鹿島亮・倉橋太志・岩田荘平
    • Organizer
      日本数学会 2023年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] 局所反映原理における保存性2023

    • Author(s)
      小暮晏佳、倉橋太志
    • Organizer
      証明論研究集会2023 証明論と計算論の最前線
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] Friedman--Goldfarb--Harrington の定理の拡張2023

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2023年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 理論の不完全性,決定不能性,分離不能性2023

    • Author(s)
      倉橋太志
    • Organizer
      第2回 ロジック・ウィンタースクール
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K03200
  • [Presentation] R と無矛盾な理論の不完全性と決定不可能性2022

    • Author(s)
      倉橋太志
    • Organizer
      証明論シンポジウム 2022
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 証明可能性述語の様相論理2022

    • Author(s)
      倉橋太志
    • Organizer
      SAML2022: Symposium on Advances in Mathematical Logic 2022
    • Invited
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 述語証明可能性論理の包含関係について2021

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2021年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 保存性の論理 CL およびその拡大の位相的意味論について2021

    • Author(s)
      岩田荘平・倉橋太志
    • Organizer
      日本数学会 2021年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] On the second incompleteness theorem and provability predicates2021

    • Author(s)
      倉橋太志
    • Organizer
      Celebrating 90 Years of Godel’s Incompleteness Theorems
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 解釈可能性論理 IL の部分論理に対する Craig の補間定理及び不動点定理について2021

    • Author(s)
      大川裕矢, 倉橋太志, 岩田荘平
    • Organizer
      日本数学会2021年度年会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 様相算術における選言特性と存在特性2021

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2021年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] Inclusions between quantified provability logics2021

    • Author(s)
      倉橋太志
    • Organizer
      International Workshop on Godel's Incompleteness Theorems
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 述語証明可能性論理の包含関係について2020

    • Author(s)
      倉橋太志
    • Organizer
      証明論研究集会2020
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 部分保存的な文に対する Bennet の結果の一般化2020

    • Author(s)
      大川裕矢, 倉橋太志
    • Organizer
      日本数学会2020年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 解釈可能性論理ILの部分論理2020

    • Author(s)
      倉橋太志, 大川裕矢
    • Organizer
      日本数学会2020年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 第二不完全性定理について2019

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2019年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] ゲーデルの第二不完全性定理について2019

    • Author(s)
      倉橋太志
    • Organizer
      科学基礎論学会2019年度研究例会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 命題様相論理における uniform Lyndon interpolation property2019

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2019 年度年会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Sacchetti の様相論理に対する不動点定理について2019

    • Author(s)
      大川裕矢・倉橋太志
    • Organizer
      日本数学会 2019 年度年会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 述語様相論理における不動点の性質について2019

    • Author(s)
      岩田荘平・倉橋太志
    • Organizer
      日本数学会 2019年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 部分保存的な文に関する Guaspari の問題について2019

    • Author(s)
      大川裕矢・倉橋太志
    • Organizer
      日本数学会 2019年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] Derivability conditions and the second incompleteness theorem2019

    • Author(s)
      Taishi Kurahashi
    • Organizer
      Logic Colloquium 2019
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K14586
  • [Presentation] 命題様相論理における Uniform Lyndon 補間定理2019

    • Author(s)
      倉橋太志
    • Organizer
      第6回山陰基礎論・解析学研究集会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Rosser provability and the second incompleteness theorem2018

    • Author(s)
      倉橋太志
    • Organizer
      Symposium on Advances in Mathematical Logic 2018 (Takeuti Memorial Symposium)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 理論の分解と証明可能性論理2018

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2018 年度年会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Normal modal logics and provability predicates2018

    • Author(s)
      倉橋太志
    • Organizer
      Second Workshop on Mathematical Logic and its Applications
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 様相論理 KD の算術的完全性2018

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2018 年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 第一不完全性定理の拡張と一般化について2017

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2017 年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] PA を含む理論の部分的な選言特性と存在特性2017

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2017 年度年会
    • Place of Presentation
      首都大学東京(東京都八王子市)
    • Year and Date
      2017-03-25
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] LP の算術的完全性定理について2017

    • Author(s)
      岩田荘平・倉橋太志
    • Organizer
      日本数学会 2017 年度年会
    • Place of Presentation
      首都大学東京(東京都八王子市)
    • Year and Date
      2017-03-25
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Sacchetti の論理に対する算術的健全性と完全性2017

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2017 年度秋季総合分科会
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Rosser 証明可能性述語と超準的な証明2017

    • Author(s)
      倉橋太志
    • Organizer
      超準解析と数学基礎論のシンポジウム NSA 2017
    • Invited
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Two theorems on provability logics2017

    • Author(s)
      倉橋太志
    • Organizer
      Logic Colloquium 2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] On partial disjunction properties of theories containing PA2017

    • Author(s)
      倉橋太志
    • Organizer
      Workshop ``Logic and Philosophy of Mathematics''
    • Invited
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] 理論の部分保存性について2016

    • Author(s)
      倉橋太志
    • Organizer
      第3回 山陰基礎論・解析学研究集会
    • Place of Presentation
      米子・皆生
    • Year and Date
      2016-01-30
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] 不完全性定理と証明可能性述語について2016

    • Author(s)
      倉橋太志
    • Organizer
      日本数学会 2016 年度秋季総合分科会(特別講演)
    • Place of Presentation
      関西大学(大阪府吹田市)
    • Year and Date
      2016-09-17
    • Invited
    • Data Source
      KAKENHI-PROJECT-16K17653
  • [Presentation] Σn 定義な算術の不完全性定理2015

    • Author(s)
      倉橋太志・菊池誠
    • Organizer
      日本数学会2015 年度年会
    • Place of Presentation
      明治大学
    • Year and Date
      2015-03-22
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] Rosser-type Henkin sentences and local reflection principles2015

    • Author(s)
      倉橋太志
    • Organizer
      Logic Colloquium 2015
    • Place of Presentation
      ヘルシンキ大学(フィンランド)
    • Year and Date
      2015-08-07
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] 証明可能性論理2015

    • Author(s)
      倉橋太志
    • Organizer
      数学基礎論サマースクール2015
    • Place of Presentation
      神戸大学
    • Year and Date
      2015-08-18
    • Invited
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] 0 = 1 の証明をもつ超準モデル2015

    • Author(s)
      倉橋太志
    • Organizer
      第2 回山陰基礎論・解析 学研究集会
    • Place of Presentation
      米子ファミリープラザ
    • Year and Date
      2015-01-24
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] Heterodox models of Peano arithmetic2015

    • Author(s)
      菊池誠,倉橋太志
    • Organizer
      15th Congress of Logic, Methodology and Philosophy of Science
    • Place of Presentation
      ヘルシンキ大学(フィンランド)
    • Year and Date
      2015-08-05
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26887045
  • [Presentation] 算術の超準モデルにおける定理と証明について2014

    • Author(s)
      菊池誠・倉橋太志
    • Organizer
      日本数学会2014 年秋季総合分科会
    • Place of Presentation
      広島大学
    • Year and Date
      2014-09-27
    • Data Source
      KAKENHI-PROJECT-26887045
  • 1.  藤原 誠
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi