皆様
金子守さん（筑波大社会工学系）の依頼で代理投稿します。
よろしくお願いします。
---------------------------------------------------------- 認識論理とゲーム理論研究会
日時： 2013年3月8日（金）― 9日（土） 場所：筑波大 第3エリア F棟12階1222室 TXつくば駅から筑波大循環（左回り・右回り、可）に乗り、第3エリア下車。前 の12階建の建物12階 (連絡先：筑波大社会工学系 金子守 [email protected])
発表・議論の方針：小さな（開かれた）研究会で議論のための場です。一人の持 ち時間は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の予備的考察