13:00〜13:45: 横山 駆(名古屋大)
On computable real numbers uniformly distributed modulo 1 with respect to Koksma sequences
14:00〜14:45: 中田 哲(名古屋大)
一般化された神託を可能世界にもつクリプキ意味論
15:00〜15:45: 齋藤 彰悟(東北大)
∃ℝの有界算術について
9:30〜10:15: 高瀬 理人(神戸大)
様相論理PFの一般化の位相意味論
10:30〜11:15: Leonardo Pacheco(東京科学大)
IGL without sharps
13:30〜14:15: 竹田 侑人(東北大)
Completeness theorem of modal logic in second-order arithmetic
14:30〜15:15: 鈴木 悠大(小山高専)
弱いbeta_nモデル反映原理と強従属選択公理
15:30〜16:15: 市川 航士郎(東京理科大)
Modular Ordinal Analysis via Iterated ω-Model Reflection and Dilators
9:30〜10:15: 関 隆宏(新潟大)
公理KとSを持つ部分構造論理における構造規則の導出可能性
10:30〜11:15: 安部 達也(千葉工大)
タイムスタンプ意味論と Owicki--Gries 論理
11:30〜12:15: 西村 祐輝(東京科学大)
Tableau Calculus for Strict Partial Order
14:30〜: Open Problem Session
15:30〜: Free Discussion
・2023: RIMS共同研究(公開型)「証明論と計算論の最前線」
・2022: 証明論シンポジウム2022
・2021: RIMS共同研究 (公開型)「証明と計算の理論と応用」(2021年度)
・2020: 証明論研究集会2020
・2019: RIMS共同研究(公開型)「証明論とその周辺」(2019年度)
・2018: 証明論研究集会2018
世話人: 木原貴行 kihara@i.nagoya-u.ac.jp