Time: 14:00-18:15, Nov. 10th, 2024

Location: Room 109, Lee Shau Kee Humanities Buildings No.3, Peking University

Host: Yanjing Wang (PKU)

Tentative program:

14:00-15:00 Keynote by Hans van Ditmarsch (Tulouse): Epistemic Logic and Simplicial Complexes

15:00-15:30 Yuanzhe Yang (PKU): Simplicial Complex, First-order Modal Logic and Assignment Operator

15:30-15:45 Tea break

15:45-16:15 Jie Fan (UCAS): A Logical Analysis of Pluralistic Ignorance: A Preliminary Report

16:15-16:45 Huili Xing (BMU): On Covariant-contravariant Refinement Modal Logic

16:45-17:00 Tea break

17:00-17:30 Mo Liu (SYSU Zhuhai): Almost APAL

17:30-18:00 Yiting Wang (PKU): Knowable as Knowing How to Inquire

18:00-18:15 Concluding Remarks