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 |