Ph.D. students and MoL students Ph.D. students: 陈谦 Qian Chen (Tsinghua University) Enrollment year: 2021 Research interests: modal logic, tense logic.Email: chenq21@mails@tsinghua.eduHomepage: — 储明亮 Mingliang Chu (Tsinghua University) Enrollment year: 2020Research interests: Medieval logic.Email: —Homepage: — 杜鹏昊 Penghao Du (Tsinghua University) Enrollment year: 2021 Research interests: social network logic.Email: dph21@mails.tsinghua.edu.cnHomepage: — 何清瑜 Qingyu He (Tsinghua University) Enrollment year: 2021 Research interests: causal reasoning, dependence logic.Email: hqy21@mails@tsinghua.edu.cn Homepage: — 罗昊轩 Haoxuan Luo (Tsinghua University) Enrollment year: 2024Research interests: modal logic, epistemic logic.Email: 3355718300@qq.comHomepage: – 王威 Wei Wang (Tsinghua University) Enrollment year: 2023Research interests: the applications of logic to linguistics and computer science.Email: wangw23@mails.tsinghua.edu.cnHomepage: https://www.weiwang.cool 杨思思 Sisi Yang (Tsinghua University) Enrollment year: 2023Research interests: non-monotonicity reasoning, formal argumentation.Email: yangss23@mails.tsinghua.edu.cnHomepage: — 杨曦 Xi Yang (Tsinghua University) Enrollment year: 2023Research interests: modal logic.Email: x-yang23@mails.tsinghua.edu.cnHomepage: — 余伟俊 Yu Weijun (Tsinghua University) Enrollment year: 2024Research interests: history of Chinese logic thought.Email: yuwj24@mails.tsinghua.edu.cnHomepage: — MoL students 欧阳文飞 Ouyang Wenfei (Tsinghua University) Enrollment year: 2023 Research interests: PAL, neighborhood semantics, logic and philosophy.Email: oywf23@mails.tsinghua.edu.cnHomepage:- 杨小双 Yang Xiaoshuang (University of Amsterdam) Enrollment year: 2022 Research interests: Email: xiaoshuang.yang@student.uva.nlHomepage:- 张力竹 Zhang Lizhu (Tsinghua University) Enrollment year: 2022 Research interests: temporal logic, probability logicEmail: zhanglz22@mails.tsinghua.edu.cnHomepage:- 赵奕辰 Zhao Yichen (Tsinghua University) Enrollment year: 2023 Research interests: neighborhood logicEmail: zhao-yc23@mails.tsinghua.edu.cnHomepage:- 池幽旻 Yumin Ji (Tsinghua University) Enrollment year: 2024 Research interests: information theoryEmail: m2e07@naver.comHomepage:- 李鑫 Xin Li (Tsinghua University) Enrollment year: 2024 Research interests: second-order arithmetic, reverse mathematics.Email: lixin24@mails.tsinghua.edu.cnHomepage:-