2024
| Author | Title | Supervisor(s) |
|---|---|---|
| Zhenkun Hu 胡振坤 (Tsinghua) | A Logical Study of Argumentation Patterns in the Xunzi: The “Fan-Gu” Argumentation Pattern as an Example (《荀子》辩说模式的逻辑研究 ——以“凡-故”辩说模式为例) | Fenrong Liu |
2023
| Author | Title | Supervisor(s) |
|---|---|---|
| Lei Li 李磊 (Tsinghua-UvA Joint Degree) | Games, Boards and Play: A Logical Perspective | Sonja Smets, Johan van Benthem, Sujata Ghosh |
| Jialiang Yan 闫佳亮 (Tsinghua-UvA Joint Degree) | Monotonicity in Intensional Contexts: Weakening and Pragmatic Effects under Modals and Attitudes | Maria Aloni, Fenrong Liu |
| Yiyan Wang 王奕岩 (Tsinghua-UvA Joint Degree) | Collective Agency: From Philosophical and Logical Perspectives | Martin Stokhof, Fenrong Liu, Sonja Smets |
2022
| Author | Title | Supervisor(s) |
|---|---|---|
| Zhiqiang Sun 孙志强 (Tsinghua) | Research on the Mohist Logic from the Perspective of Natural Logic, A Case Study of “Mou Reasoning”(自然逻辑视域下的墨家逻辑研究——以“侔式推理”为例) | Fenrong Liu, Jeremy Seligman |
| Yang Sun 孙洋 (Tsinghua) | From Order Lifting To Deontic Logic (从序提升到道义逻辑) | Fenrong Liu |
| Huan Yu 余欢 (Tsinghua) | “Being” and “Existence”: A Logical Point of View (“是”与“存在”：一种逻辑学的观点) | Junhua Yu |
2021
| Author | Title | Supervisor(s) |
|---|---|---|
| Dazhu Li 李大柱 (Tsinghua-UvA Joint Degree) | Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction | Johan van Benthem, Alexandru Baltag, Fenrong Liu |
| Kaibo Xie 谢凯博 (UvA) | Where Causality, Conditionals and Epistemology meet: A Logical Inquiry | Katrin Schulz, Sonja Smets, Fenrong Liu |
| Haibin Gui 桂海斌 (Tsinghua) | Knowledge, Doubt and Evidence: Also on Jin Yuelin’s Ideas on Knowledge ( 知识、怀疑与证据：兼论金岳霖的知识观) | Fenrong Liu |
| Yu Chen 陈钰 (Tsinghua) | Understanding the Meaning of a Sentence Dynamically–Explicit and Implicit Approaches (动态地理解句子的意义 ——显性和隐性两条路径) | Fenrong Liu |
| Jing Shi 施经 (Tsinghua) | Study on Peirce’s Existential Graphs (皮尔士存在图研究) | Junhua Yu |
2020
| Author | Title | Supervisor(s) |
|---|---|---|
| Xiaoxuan Fu 付小轩 (Tsinghua) | Preference Lifting under Uncertainty (不确定情境下的偏好提升) | Fenrong Liu, Johan van Benthem |
2019
| Author | Title | Supervisor(s) |
|---|---|---|
| Kun Xing 邢锟 (Tsinghua) | A Cognitive-based Study on Natural Language Meaning (基于认知的自然语言语义研究) | Fenrong Liu |
| Mian Dai 戴冕 (Tsinghua) | Quantifiers and Numbers——A Study of Logic and Philosophy (量词与数词——一种逻辑与哲学研究) | Lu Wang |
2018
| Author | Title | Supervisor(s) |
|---|---|---|
| Chenwei Shi 石辰威 (UvA) | Reason to Believe | Sonja Smets, Fenrong Liu |
| Malvin Gattinger (UvA) | New Directions in Model Checking Dynamic Epistemic Logic | Jan van Eijck, Alexandru Baltag, Kaile Su |
2014
| Author | Title | Supervisor(s) |
|---|---|---|
| Bo Xiao 肖波 (Tsinghua) | Modal Probability Logic (模态概率逻辑) | Lu Wang |