Bachelor Dissertation

2022

AuthorTitleSupervisor(s)
Lingyuan Ye 叶凌远 (Tsinghua)A Structural Study of Information in a Logical Perspective (关于信息结构的逻辑研究)Johan van Benthem, Fenrong Liu
Haoxuan Yin 尹昊萱 (Tsinghua)New Proof Methods for Lyndon’s Theorem in Variations of First-Order Logic (一阶逻辑变体中林登定理的新证明方法)Johan van Benthem
Xiaoshuang Yang 杨小双 (Tsinghua)Instantial Neighbourhood Logic: Characterization of the Properties of Neighbourhood Functions (含例邻域逻辑:对邻域函数性质的刻画)Junhua Yu
Haotian Tong 童昊天(Tsinghua)Carnap’s Problem in Intuitionistic Logic (直觉主义逻辑中的卡尔纳普问题)Dag Westerståhl

<< Back