
LOGIC AND GAMES
October 18-19, 2024, Taiyuan, China
Program
Please click the title of the presentation to view the slides or files.
Time |
Title |
Speaker |
Chair |
9:30-9:45 |
Opening |
Yang You 尤洋 (Shanxi University) Beihai Zhou 周北海 (Shanxi University) Fenrong Liu 刘奋荣 (Tsinghua University) |
Yiyan Wang 王奕岩 (Shanxi University) |
9:45-10:00 |
Group picture |
||
10:00-10:15 |
Na Li 李娜 (Nankai University) |
Chao Xu 徐超 (Shanxi University) |
|
10:15-10:30 |
Probabilistic Epistemic Logic based on Neighborhood Semantics |
Meiyun Guo郭美云 (Southwest University) |
|
10:30-10:45 |
Dazhu Li 李大柱 (Chinese Academy of Sciences) |
||
10:45-11:00 |
Xudong Hao郝旭东 (East China Normal University) |
||
11:00-11:15 |
Coffee break |
||
11:15-12:00 |
Launch Event for the Chinese Translation of Logic in Games |
Jianying Cui 崔建英 (Sun Yat-sen University) Xiaoxuan Fu 付小轩 (China University of Political Science and Law) Fei Liang 梁斐 (Tsinghua University Press) Johan van Benthem 范丙申 (Tsinghua & Stanford & University of Amsterdam) |
Chenwei Shi 石辰威 (Tsinghua University) |
12:00-13:30 |
Lunch |
||
13:30-13:45 |
Dialogical Modal Logic |
Yì N. Wáng 王轶 (Sun Yat-sen University) |
Junhua Yu 俞珺华 (Tsinghua University) |
13:45-14:00 |
Minghui Ma 马明辉 (Sun Yat-sen University) |
||
14:00-14:15 |
Seriality, Independence of Agents, and Determinism in Models for Strategic Reasoning |
Fengkui Ju 琚凤魁 (Beijing Normal University) |
|
14:15-14:30 |
Jialiang Yan 闫佳亮 (Tsinghua University) |
||
14:30-14:45 |
Coffee Break |
||
14:45-15:00 |
Sequent Calculus for Propositional Logic of Weakly Connected Transitive Kripke Frames |
Yu Chen 陈钰 (Sichuan University) |
Kaibo Xie 谢凯博 (Wuhan University) |
15:00-15:15 |
Xiaoxuan Fu 付小轩 (China University of Political Science and Law) |
||
15:15-15:30 |
Zhiguang Zhao 赵之光 (Taishan University) |
||
15:30-16:00 |
Johan van Benthem 范丙申 (Tsinghua & Stanford & University of Amsterdam) |
||
16:00-16:20 |
Coffee Break |
||
16:20-17:50 |
Commemoration and Celebration Session |
Informal Speeches |
Fenrong Liu 刘奋荣 (Tsinghua University) |
17:50-18:00 |
Closing remarks |
Yiyan Wang 王奕岩 (Shanxi University) Jialiang Yan 闫佳亮 (Tsinghua University) |
|
18:00-20:00 |
Banquet |
Speeches
- Jianying Cui: Game in Logic
- Xiaoxuan Fu: When Logic Encounters Games: A Game Semantics Perspective
- Johan van Benthem: At the Presentation of the Chinese Edition of the “Logic in Games’ Book
- Johan van Benthem: At the End of the Informal Session






