[logic-ml] The 45th MLG Meeting: Program

[Takahiro Seki]

第45回 MLG 数理論理学研究集会のご案内
(重複してお受け取りの際はご容赦ください。)

　新潟大学の関です。
　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。

　講演・宿泊の申し込みは締め切りましたが，参加することは可能です。
なお，その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円を
いただきます。

===============================
　第45回 MLG 研究集会開催要領
===============================
　日時: 2011 年 1 月 6 日(木) 14:00 ～ 1 月 8 日(土) 12:20
　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）
　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574
　　　　URL : http://www.kkryuzawa.com/
　MLG45ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/

　講演プログラム：

1月6日（木）
14:00～14:10　開会・事務連絡
14:10～14:50　関　隆宏（新潟大学）
　On Halldén-completeness of relevant modal logics
14:50～15:30　角谷良彦（東京大学）
　Curry-Howard correspondence with modalities based on Kripke semantics
15:50～16:30　岩波　克（東京工業大学）
　直観主義二階命題論理の性質について
16:30～17:10　金子　守（筑波大学）
　A measure of inference in classical and intuitionistic logics (with 
N.-Y. Suzuki)

1月7日（金）
  9:00～ 9:40　竹村　亮（慶應義塾大学）
　オイラー図推論の証明論的分析：自然演繹への翻訳と正規形証明
  9:40～10:20　照井一成（京都大学）
　　未　定
10:30～11:10　倉橋太志（神戸大学）
　一階述語証明可能性論理における２つの意味論について
11:10～11:50　佐々木克巳（南山大学）
　様相論理Grzにおける標準形の論理式とexactモデル

13:00～13:40　丸山善宏（京都大学）
　Duality, monad, and topological category: Concrete-categorical 
investigation into algebraic-logical structures
13:40～14:20　横山啓太（東北大学）
　Reverse mathematics in several frameworks
14:30～15:10　髙野道夫（新潟大学）
　真理値が集合である２値論理
15:20～16:00　古森雄一（千葉大学）
　変数を区別しないときの述語論理の正規化定理
16:00～16:40　小野寛晰（北陸先端科学技術大学院大学）
　　未　定

1月8日（土）
  9:20～10:00　松尾亮太（名古屋大学）
　繰り返しゲームにおける複雑な戦略
10:00～10:40　鈴木信行（静岡大学）
　ゲーム理論に由来する直観主義的多様相述語論理およびそのKripke型意味論
10:50～11:30　鹿島　亮（東京工業大学）
　Canonical models for some modal logics
11:30～12:10　志村立矢（日本大学）
　Some cut-free multi-modal logics
12:10～12:20　事務連絡・閉会

---
関　隆宏
新潟大学企画戦略本部評価センター
Tel : 025-262-6088     Fax : 025-262-6248
E-mail : tseki at adm.niigata-u.ac.jp