第52回MLG数理研究集会　プログラム

12月1日(金)

13:00-13:10　事務連絡
13:10-13:45　伴 睦久, (東京大学)
　　　　　　 タイトル未定

13:45-14:20　菊池 誠, (神戸大学)
　　　　　　 タイトル未定

14:20-14:30　休憩

14:30-15:05　河野 友亮, (東京工業大学)
 　　　　　　Dynamic quantum logic における観測の様相記号について

15:05-15:40　金子 守, (早稲田大学)
 　　　　　　Expected utility theory with probability grids and preferential incomparabilities

15:40-15:50　休憩

15:50-16:25　田中 義人, (九州産業大学)
　　　　　　 Kripke completeness of a predicate extension of the logic of provability

16:25-17:00　依岡 輝幸, (静岡大学)
　　　　　　 Woodin の Pi_2-compactness という考え方と実数の集合論

17:30-19:30　懇親会　(静岡大学　第2食堂)

12月2日(土)

9:20-9:30　事務連絡
9:30-10:05　西牟田 祐樹, (慶応義塾大学)
　　　　　　一般化乗法的論理結合子のnon-decomposabilityを保存する推論規則について

10:05-10:40　根元 多佳子,(北陸先端科学技術大学院大学)
　　　　　　 Separation of non-constructive principles and Kripke models

10:40-10:50　休憩

10:50-11:25　中村 誠希, (東京工業大学)
　　　　　　 Antimirov’ Partial Derivatives for Propositional Dynamic Logics

11:25-12:00　鈴木 信行, (静岡大学)
　　　　　　 Disjunction propertyを持ちexistence propertyを持たない中間述語論理

12:00-13:30　昼休憩

13:30-14:05　鹿島 亮, (東京工業大学)
　　　　　　 論理式完備ハイティング代数による直観主義２階命題論理の完全性とカット除去

14:05-14:40　松田 直祐, (神奈川大学)
　　　　　　 ラベル付き証明体系を用いた２階直観主義命題論理のカット除去

14:40-15:15　佐野 勝彦, (北海道大学)
　　　　　　 Analytic Sequent Calculus for Bi-intuitionistic Stable Tense Logic

15:15-15:25　休憩

15:25-15:50　佐々木 克巳, (南山大学)
　　　　　　 難しい推論と易しい推論の区別について

15:50-16:35　佐藤 雅彦, (京都大学)
　　　　　　 A common notation system for both the lambda-calculus and combinatory logic

12月3日(日)

9:20-9:30　事務連絡
9:30-10:05　横溝 恭平, (日本大学)
　　　　　　Dummettの論理LCに対応するhypersequent calculusの部分体系について

10:05-10:40　福田 陽介, (京都大学)
　　　　　　 A Cut-free Higher-arity Sequent Calculus for Intuitionistic Modal Logic

10:40-10:50　休憩

10:50-11:25　志村 立矢, (日本大学)
　　　　　　 論理記号の制限と strong disjunction property

11:25-12:00　大森 仁, (京都大学)
　　　　　　 Infectious Logicsの周辺

12:00-12:10　事務連絡