12月19日（金）
| 13:20～13:30 | [諸連絡] | |
| 13:30～14:05 | 野口 真柊 | Very Weak Subintuitionistic Logic |
|---|---|---|
| 14:05～14:40 | 大森 仁 | TBA |
| 14:40～14:55 | [15分休憩] | |
| 14:55～15:30 | 谷口 雅弥 | TBA |
| 15:30～16:05 | 冨永 浩平 | 様相論理 \(\mathbf{N}\) の計算複雑性 |
| 16:05～16:20 | [15分休憩] | |
| 16:20～16:55 | 藤原 誠 | Hierarchy of logical axioms over intuitionistic logic and arithmetic |
| 16:55～17:30 | 竹田 侑人 | TBA |
12月20日（土）
| 10:00～10:10 | [諸連絡] | |
| 10:10～10:45 | 小暮 晏佳 | 近傍意味論をもつ非正規様相論理に対する算術的完全性定理 |
|---|---|---|
| 10:45～11:20 | 倉橋 太志 | 導出可能性条件の様相論理に関するこれまでの研究 |
| 11:20～11:30 | [10分休憩] | |
| 11:30～12:05 | 一倉 海斗 | 弱い論理上での算術 |
| 12:05～13:30 | [昼休憩] | |
| 13:30～14:05 | 西村 祐輝 | A Hybrid Logic with Empty Names |
| 14:05～14:40 | 仁木 哲 | フェイルセイフの論理から正真の論理へ |
| 14:40～14:55 | [15分休憩] | |
| 14:55～15:30 | 田中 義人 | Neighborhood and algebraic models for predicate modal logics with \(\omega\)-rules |
| 15:30～16:05 | 志村 立矢 | 強い意味の disjunction property を持つ論理について |
| 16:05～16:20 | [15分休憩] | |
| 16:20～16:55 | 佐藤 雄太 | IML でも CML でもない直観主義様相論理について |
| 16:55～17:30 | Leonardo Pacheco | Gödel--Dummett--Gödel--Löb Logic |
| 17:30～17:40 | [10分休憩] | |
| 17:40～18:15 | 岩田 荘平 | Strict \(n\)-transitivity を持つ様相論理：Boxdot-translation の観点による考察 |
12月21日（日）
| 10:00～10:10 | [諸連絡] | |
| 10:10～10:45 | 鈴木 悠大 | Generalizations of the second incompleteness theorem |
|---|---|---|
| 10:45～11:20 | 市川 航士郎 | 二階算術に於ける Kreisel–Lévy の本質的非有界性 |
| 11:20～11:30 | [10分休憩] | |
| 11:30～12:05 | 関 隆宏 | Exchange を持たない部分構造論理における対偶について |
| 12:05～13:30 | [昼休憩] | |
| 13:30～14:05 | 久保埜 雄大 | アウェアネス論理における様相命題の翻訳について |
| 14:05～14:40 | 竹内 泉 | 双直観主義論理の圏論的意味論 |
| 14:40～14:50 | [10分休憩] | |
| 14:50～15:25 | 照井 一成 | ファジィ集合論の無矛盾性を巡る物語 |
最寄り駅：阪急「六甲」駅、JR「六甲道」駅、阪神「御影」駅
[参考]「すうがく徒のつどい 第4回」の神戸大学への道案内 にキャンパスまでのアクセス方法が詳細に記されておりますので、参考になるかと思います。
六甲周辺にはホテルはありません。三宮周辺であればたくさんのホテルがあります。