Ph.D. students and MoL students

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: 2021 
  • Research interests: social network logic.
  • Email: dph21@mails.tsinghua.edu.cn
  • Homepage: —

  • Enrollment year: 2021 
  • Research interests: causal reasoning, dependence logic.
  • Email: hqy21@mails@tsinghua.edu.cn 
  • 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: —
MoL students

  • Enrollment year: 2023 
  • Research interests: PAL, neighborhood semantics, logic and philosophy.
  • Email: oywf23@mails.tsinghua.edu.cn
  • Homepage:-

  • Enrollment year: 2022 
  • Research interests
  • Email: xiaoshuang.yang@student.uva.nl
  • Homepage:-

  • Enrollment year: 2022 
  • Research interests: temporal logic, probability logic
  • Email: zhanglz22@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:-