[最終更新日: 2024年2月17日]
12:30–受付
13:00–13:45 関隆宏 「公理Wに対応する推論規則とその周辺」
13:45–14:30 織田幸弘 「循環証明体系のカット除去について」
14:30–16:00 休憩・ディスカッションタイム
16:00–16:45 竹田侑人 「逆数学および計算可能性理論によるラムゼイ型定理の研究」
16:45–17:30 鈴木悠大 「On some applications and properties of β-models」
17:30–17:45 休憩
17:45–18:30 倉橋太志 「証明可能性 - 強制様相論理 PF について」
09:30–10:15 鹿島亮 「入れ子シークエント計算について」
10:15–11:00 久保埜雄大 「入れ子知識のためのアウェアネスの論理」
11:00–11:15 休憩
11:15–12:00 佐藤雄太 「必然化の論理 N の拡張論理の有限フレーム性と補間定理」
12:00–12:45 小暮晏佳 「証明可能性論理GRの補間定理」
12:45–14:15 昼食
14:15–15:00 田中義人 「Models for GL」
15:00–15:45 西村祐輝 「Bulldozing and Hybrid Logic」
15:45–16:00 休憩
16:00–16:45 渡部耀介 「構成的逆数学と不可欠性論証」
16:45–17:30 木原貴行 「計算可能な方法では得られない同相型」
17:30–17:45 休憩
17:45–18:30 佐野勝彦 「Generalizing Maksimova and Marx for Bi-intuitionistic Tense Logic」
19:00–懇親会
09:30–10:15 谷口雅弥「Lambek Calculus for Mildly Context-sensitive Languages」
10:15–11:00 山崎紗紀子 「非意図的行為とその論理」
11:00–11:15 休憩
11:15–12:00 東条敏 「Possible worlds as probable worlds」
12:00–12:45 鈴木信行 「否定論理式に制限したExistence Propertyを中間述語論理で考える」