2022
| Author | Title | Supervisor(s) |
|---|---|---|
| Tianwei Zhang 张天玮 (UvA) | Bisimulations over Parity Formulas | Yde Venema, Johannes Marti |
| Han Gao 高晗 (Tsinghua) | On Some Variants of Instantial Neighborhood Logic (含例邻域逻辑若干变体研究) | Junhua Yu |
2021
| Author | Title | Supervisor(s) |
|---|---|---|
| Zixi Yang 杨梓希 (Tsinghua) | Two Extensions of Instantial Neighborhood Logic (含例邻域逻辑的两个扩张) | Junhua Yu |
2018
| Author | Title | Supervisor(s) |
|---|---|---|
| Yinqiu Zhu 朱吟秋 (Tsinghua) | Circular Sequent Calculus for Visser’s Formal Propositional Logic FPL (维瑟形式命题逻辑FPL的循环矢列演算) | Junhua Yu |
| Yun Zhang 张昀 (Tsinghua) | Study on the Dynamic Epistemic Logic of the Werewolf Games (狼人杀博弈的动态认知逻辑研究) | Fenrong Liu |
2017
| Author | Title | Supervisor(s) |
|---|---|---|
| Bonan Zhao 赵博囡 (UvA) | Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game | Jakub Szymanik, Iris van de Pol |
2016
| Author | Title | Supervisor(s) |
|---|---|---|
| Yiyan Wang 王奕岩 (Tsinghua) | Individual versus Collective Agency：From Epistemic Logic to Deontic Logic (关于逻辑主体的讨论——在个体与群体之间) | Fenrong Liu |
| Kaibo Xie 谢凯博 (Tsinghua) | “Desire-as-Belief” from a Logic Perspective (“欲望归约于信念”的逻辑分析) | Lu Wang |
2015
| Author | Title | Supervisor(s) |
|---|---|---|
| Zhiwei Yang 杨志伟 (Tsinghua) | Preference Aggregation in Social Setting (社会语境下的偏好聚合) | Fenrong Liu |
2014
| Author | Title | Supervisor(s) |
|---|---|---|
| Chenwei Shi 石辰威 (Tsinghua) | Logic of Evidence-Based Belief and Knowledge (基于证据的信念与知识逻辑 ) | Fenrong Liu |
2012
| Author | Title | Supervisor(s) |
|---|---|---|
| Hui Wang 王辉 (Tsinghua) | A Solution to the Priority Problem of Commands in Deontic Logic (道义逻辑中命令优先性问题的一个解决方案) | Fenrong Liu |
2011
| Author | Title | Supervisor(s) |
|---|---|---|
| Xin Sun 孙鑫 (Tsinghua) | Studies on Deontic Logic from a Game Theoretical Perspective (博弈论道义逻辑研究) | Fenrong Liu |
2010
| Author | Title | Supervisor(s) |
|---|---|---|
| Junhua Yu 俞珺华 (Tsinghua) | On Self-referentiality in Realization: Possible Criteria via Gentzen Calculus (显式化中的自指称问题研究——基于根岑演算的可能判据) | Fenrong Liu |
2009
| Author | Title | Supervisor(s) |
|---|---|---|
| Xiaojia Zhu 朱晓佳 (Tsinghua) | On Logical Necessity in Wittgenstein’s Tractatus (维特根斯坦《逻辑哲学论》中的“必然”观) | Lu Wang |
| Yutao Ma 马玉涛 (Tsinghua) | Modal Complex Predicate Logic (模态复合谓词逻辑) | Lu Wang |
2007
| Author | Title | Supervisor(s) |
|---|---|---|
| Yali Lu 陆雅莉 (Tsinghua) | On Negation (论否定) | Lu Wang |