Program
- 9:00-10:00 Modality on the Move: Modal Logic Today
Johan van Benthem, University of Amsterdam and Stanford University - 10:00-10:15 Tea break
- 10:15-10:55 Towards a Lindstrom Theorem for Modal mu-calculus
Yizhao Hu, Chinese Academy of Social Sciences - 10:55-11:35 Dynamic Epistemic Logic with Distributed Knowledge
Meiyun Guo, SouthWest University - 11:35-12:15 Negations in Epistemic Logic
Junwei Yu, Renmin University - 12:15-14:00 Lunch break
- 14:00-14:40 Hybrid Arrow Logic
Xinwen Liu, Chinese Academy of Social Sciences - 14:40-15:20 Title: TBA
Jiangjie Qiu, Peking University - 15:20-15:40 Tea break
- 15:40-16:20 How do Introspective Agents Incorporate New Information of Moorean Type?
Jiahong Guo, Beijing Normal University - 16:20-17:00 Merging Two Models of Preference and Preference Change
Fenrong Liu, Chinese Academy of Social Sciences and University of Amsterdam - 17:00-18:00 (Special Session) Dialogue between the author and translators: Interview with Johan van Benthem