INTERNATIONAL WORKSHOP ON LOGIC AND GAMES

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

Graph Game Logic: Some Recent Developments

Dazhu Li 李大柱

(Chinese Academy of Sciences)

10:45-11:00

A Logical Analysis of the Debate of Haoliang

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

The Truth about the McKinsey Axiom

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

A Logic for Instrumental Obligation

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

Game Semantics of ML(#) and Basic Neighborhood Logic I

Xiaoxuan Fu 付小轩

(China University of Political Science and Law)

15:15-15:30

Game Semantics of ML(#) and Basic Neighborhood Logic II

Zhiguang Zhao 赵之光

(Taishan University)

15:30-16:00

Logic in Games: Ten Years After

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