2024
| Author | Title | Supervisor(s) |
|---|---|---|
| Fengxiang Cheng (Tsinghua) | Norms, Permissions and Obligations: From a Perspective of Dependence (规范、义务与许可：一种依赖性的研究视角) | Chenwei Shi |
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 |