Ph.D. students:
- Enrollment year: 2021
- Research interests: Modal logic; Tense logic.
- Email: chenq21@mails@tsinghua.edu
- Homepage: —
- Enrollment year: 2020
- Research interests: Medieval logic.
- Email: —
- Homepage: —
- Enrollment year: 2024
- Research interests: Modal logic; Epistemic logic.
- Email: 3355718300@qq.com
- Homepage: –
- Enrollment year: 2023
- Research interests: The applications of logic to linguistics and computer science.
- Email: wangw23@mails.tsinghua.edu.cn
- Homepage: https://www.weiwang.cool
- Enrollment year: 2023
- Research interests: Non-monotonicity reasoning; Formal argumentation.
- Email: yangss23@mails.tsinghua.edu.cn
- Homepage: —
- Enrollment year: 2023
- Research interests: Modal logic.
- Email: x-yang23@mails.tsinghua.edu.cn
- Homepage: —
- Enrollment year: 2024
- Research interests: History of Chinese logic thought.
- Email: yuwj24@mails.tsinghua.edu.cn
- Homepage: —
- Enrollment year: 2025
- Research interests: Chinese Logic History; Logic of Space.
- Email:
- Homepage:-
MoL students
- Enrollment year: 2023
- Research interests: Dependence logic.
- Email: oywf23@mails.tsinghua.edu.cn
- Homepage:-
- Enrollment year: 2023
- Research interests: Neighborhood logic.
- Email: zhao-yc23@mails.tsinghua.edu.cn
- Homepage:-
- Enrollment year: 2024
- Research interests: Information theory.
- Email: m2e07@naver.com
- Homepage:-
- Enrollment year: 2024
- Research interests: Second-order arithmetic; Reverse mathematics.
- Email: lixin24@mails.tsinghua.edu.cn
- Homepage:-
- Enrollment year: 2025
- Research interests: Proof theory.
- Email: chenmj25@mails.tsinghua.edu.cn
- Homepage:-
- Enrollment year: 2025
- Research interests: Modal logic; Logic of AI.
- Email: mzz25@mails.tsinghua.edu.cn
- Homepage:-