Logical Dynamics: New Trends and Interfaces
Oct 8th 2011， Peking University
For more info please visit here
动态逻辑：新方向与新交叉
北京市逻辑学会主办，北京大学哲学系、清华大学哲学系承办
Organized by Beijing Society for Logic, Peking University and Tsinghua University
================
Workshop Venue:
==============
Conference Room No.2 (ground floor)
Department of Philosophy
Peking University, BEIJING
Date: Oct 8th, 2011
Map
=================
Preliminary Program:
=================
9:00 - 12:30 Morning session [New trends of DEL: new examples and ideas]
12:30-14:00 Lunch Shaoyuan
14:30 - 18:00 Afternoon Session [Interfaces: Logical dynamics meets new/old friends]
==
Speakers:
Johan van Benthem (Amsterdam&Stanford), Hans van Ditmarsch (Sevilla), Patrick Girard (Auckland), Davide Grossi(Liverpool), Tomohiro Hoshi (Stanford), Fengkui Ju (Beijing Normal Univ.), Kaile Su (Peking), Fenrong Liu (Tsinghua), Ram Ramanujam (IMSc), Olivier Roy (Munich), Yi Wang (Bergen), Tomoyuki Yamada (Hokkaido)
Note: The speakers are expected to give 5-slide presentations
==
Program:
09:00-09:15 Welcome
09:15-09:45 Hans van Ditmarsch: Five Ways of Quantifying over Information Change
09:45-10:15 Fenrong Liu: Reasoning about Agent Types
10:15-10:30 Coffee and tea
10:30-11:00 Patrick Girard: A Product Model Construction for PDL
11:00-11:30 Yi Wang: Dynamic Epistemic Logic and Distributed Knowledge
11:30 -12:00 Tomohiro Hoshi: Failures of Uniform Substitutions - toward a systematic study of substitution cores
12:00-14:00 Lunch @ Shaoyuan Restaurant
14:00-14:30 Ram Ramanujam: Desiderata for Reasoning about Large Games
14:30-15:00 Kaile Su: TBA
15:00-15:30 Davide Grossi: Fixpoints and Iterated Announcements in Abstract Argumentation
15:30-15:45 Coffee and tea
15:45-16:15 Tomoyuki Yamada: Dynamic Logics of Speech Acts as Formal Simulations of Social Interaction
16:15-16:45 Fengkui Ju: The Notion of Validity for Imperative Inferences
16:45-17:00 Coffee and tea
17:00-17:30 Olivier Roy: Deontic Logic, Neighborhood Semantics and Games
17:30-18:00 Johan van Benthem: Local Dynamics in Games, or: DEL + Game Theory = Theory of Play?
Workshop dinner @Xin Kai Yuan Restaurant
Contact: y.wang@pku.edu.cn
--
Dr. Yanjing Wang
Department of Philosophy,
Peking University,
100871, Beijing
www.wangyanjing.com