【プログラム】

[最終更新日: 2024年2月17日]

2月16日

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 について」

2月17日

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–懇親会

2月18日

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を中間述語論理で考える」