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 |
| Bangchen Chen 陈邦臣 (Tsinghua) | Study on Propositional Knowledge — From the Perspective of “Truth” (命题性知识研究——从“真”的观点看) | Lu Wang |
| 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 |
| Zhaohui Yin 阴昭晖 (Tsinghua) | Research on Quine’s Conception of Logic (奎因逻辑观研究) | 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 |
2017
| Author | Title | Supervisor(s) |
|---|---|---|
| Yibin Dai 戴益斌 (Tsinghua) | Davidson’s Theory of Truth (戴维森的真之理论) | Lu Wang |
2014
| Author | Title | Supervisor(s) |
|---|---|---|
| Bo Xiao 肖波 (Tsinghua) | Modal Probability Logic (模态概率逻辑) | Lu Wang |
2013
| Author | Title | Supervisor(s) |
|---|---|---|
| Hongyu Yang 杨红玉 (Tsinghua University) | Research on the Theories of Quantification: From Quine’s Point of View (量化理论研究——从蒯因的观点看) | Lu Wang |
2011
| Author | Title | Supervisor(s) |
|---|---|---|
| Minghui Ma 马明辉 (Tsinghua University) | Model Theory for Graded Modal Languages (分次模态语言的模型论) | Lu Wang |
2010
| Author | Title | Supervisor(s) |
|---|---|---|
| Zhirong Zhou 周志荣 (Tsinghua University) | Truth-Conditional Theory of Meaning (真之条件的意义理论) | Lu Wang |
2009
| Author | Title | Supervisor(s) |
|---|---|---|
| Juanjuan Zhang 张娟娟 (Tsinghua University) | Ockham’s Theory of Supposition (奥卡姆的指代理论) | Lu Wang |
| Weiping Zheng 郑伟平 (Tsinghua University) | Russell’s Doctrine of the Unrestricted Variable (罗素的无约束变元理论) | Lu Wang |
2008
| Author | Title | Supervisor(s) |
|---|---|---|
| Fangfang Tang 唐芳芳 (Tsinghua University) | Generalized Sheffer-stroke Based Modal Tableaus and Analytic Modal Axiomatic Systems (基于广义谢弗竖的模态表列和分析性模态公理系统) | Lu Wang |
2007
| Author | Title | Supervisor(s) |
|---|---|---|
| Lina Zhang 张立娜 (Tsinghua University) | The Semantics of Individual Terms (个体词的逻辑语义) | Lu Wang |