10月23日（金）
| 13:20～13:30 | [諸連絡] | |
| 13:30～14:00 | 瀬谷 聖 | judgemental equalityを分解した型理論 (スライド) |
|---|---|---|
| 14:00～14:30 | 村瀬 唯斗 | 擬引用のスコープ構造を推論する様相論理について |
| 14:30～15:00 | 関 隆宏 | 部分構造論理BSLに対する2種類のGentzen流形式化 |
| 15:00～15:15 | [15分休憩] | |
| 15:15～15:45 | 野口 真柊 | 証明可能性論理へ埋め込める命題論理について (スライドへのリンク) |
| 15:45～16:15 | 榎本 侑弥 | Turing degree の命題論理 |
| 16:15～16:30 | [15分休憩] | |
| 16:30～17:00 | 小暮 晏佳 | 連言に関して閉じた証明可能性述語の様相論理 (スライド) |
| 17:00～17:30 | 西村 祐輝 | Closure Semantics for Weak Modal Logics (スライドへのリンク) |
10月24日（土）
| 10:40～10:50 | [諸連絡] | |
| 10:50～11:20 | 上島 晟宏 | 比較不能な定理集合を持つ算術の超準モデルについて |
|---|---|---|
| 11:20～11:50 | 市川 航士郎 | Proof Theory vs. Computability Theory for Predicative Theories |
| 11:50～12:20 | 鈴木 悠大 | On iterated beta_n-reflections |
| 12:20～13:30 | [昼休憩] | |
| 13:30～14:00 | 鈴木 集 | ミンコフスキー時空における因果様相の論理の強完全性 (スライド) |
| 14:00～14:30 | 冨永 浩平 | Complexity of modal logic concerning both necessitation and conjunction |
| 14:30～15:00 | 山田 瑛嗣 | Eventual and Strong Eventual Notions in Public Announcements (スライド) |
| 15:00～15:20 | [20分休憩] | |
| 15:20～15:50 | 谷口 雅弥 | プレスバーガー算術の論理式がなす距離空間 (スライドへのリンク) |
| 15:50～16:20 | 林 俊佑 | On Coalgebraic Lindstrom Theorem |
| 16:20～16:50 | 今村 拓万 | BMコンビネータ論理における不動点コンビネータの存在について (スライドへのリンク) |
| 16:50～17:10 | [20分休憩] | |
| 17:10～17:40 | 照井 一成 | 帰納的定義による正規化定理の証明法とハイティング算術の存在特性について |
| 17:40～18:10 | 佐藤 雅彦 | Algebra and Geometry of the Lambda Calculus (スライド) |
10月25日（日）
| 10:40～10:50 | [諸連絡] | |
| 10:50～11:20 | 志村 立矢 | Irreflexive and non-reflexive counterparts of Zeman's S4.1.4 (スライドへのリンク (2027年3月末まで有効)) |
|---|---|---|
| 11:20～11:50 | 倉橋 太志 | \(\mathbf{K} + \Box^n \bot\) の正規拡大のクレイグ補間性 (スライド) |
| 11:50～12:20 | 池田 侑登 | Gödel コード化とジェミナル圏：Löb の定理の圏論的構造 (スライドへのリンク) |
| 12:20～13:30 | [昼休憩] | |
| 13:30～14:00 | 熊坂 翼 | Abstract provability structure の証明論と近傍意味論 (スライド) |
| 14:00～14:30 | 渋谷 伊織 | 剰余付き抽象的様相構造における不動点の分析 |
| 14:30～14:45 | [15分休憩] | |
| 14:45～15:15 | 佐藤 雄太 | Kripke Game について (スライドへのリンク) |
| 15:15～15:45 | 鈴木 信行 | 冠頭標準形定理の変種について中間述語論理で考えてみる (スライド) |
このような状況ですので、10/24(土)と10/25(日)の昼食については希望者に対して弁当の配達を注文する予定です。
昼食用の弁当を希望される方は参加申し込みフォームにてお申し込みください。
一食約 1000円 程度を想定しています。会場の受付にて集金をする予定です。
申し訳ございませんが、アレルギー等の対応はしかねますのでご理解のほどよろしくお願いいたします。
最寄り駅：阪急「六甲」駅、JR「六甲道」駅、阪神「御影」駅
[参考]「すうがく徒のつどい 第4回」の神戸大学への道案内 にキャンパスまでのアクセス方法が詳細に記されておりますので、参考になるかと思います。
※六甲周辺にはホテルはありません。三宮周辺であればたくさんのホテルがあります。