[logic-ml] 3月8日―9日：認識論理とゲーム理論研究会

[Suzuki, Nobu-Yuki]

皆様

金子守さん（筑波大社会工学系）の依頼で代理投稿します。

よろしくお願いします。

----------------------------------------------------------
　　　　　　　　　　　認識論理とゲーム理論研究会

日時：　2013年3月8日（金）―　9日（土）
場所：筑波大　第3エリア　F棟12階1222室
TXつくば駅から筑波大循環（左回り・右回り、可）に乗り、第3エリア下車。前
の12階建の建物12階
(連絡先：筑波大社会工学系　金子守　kaneko at sk.tsukuba.ac.jp)

発表・議論の方針：小さな（開かれた）研究会で議論のための場です。一人の持
ち時間は1時間ですが、発表そのものは45分程度で終えると考え、必要なこと・
重要なことに絞って準備してください。発表のレジュメを10部ほど用意してくだ
さい。

3月8日（金）
午後1：２0−2：２0：
矢田部俊介：構成的素朴集合論と無限

2：３０−3：３０
佐野勝彦：Dynamic Epistemic Logic for Channel-Based Agent Communication
　
4：00−5：00
金子守：Small Infinitary Epistemic Logics and Some Fixed-Point Logicｓ
（with T.-W. Hu ＆N.-Y. Suzuki）

懇親会：６：３０−８：３０　（居酒屋大将）

3月9日（土）
午前９：1０−１０：1０　
田中義人：Common Knowledge logicのクリプキ完全性

10：20―１１：20
本浦庄太：On the semantic meaning of reduction axioms in public 
announcement logic

11：40−12：40
鈴木信行：述語論理でのPrediction/Decision Criteriaの予備的考察