Doctoral Dissertation

2023

AuthorTitleSupervisor(s)
Lei Li 李磊 (Tsinghua-UvA Joint Degree)Games, Boards and Play: A Logical PerspectiveSonja Smets, Johan van Benthem, Sujata Ghosh
Jialiang Yan 闫佳亮 (Tsinghua-UvA Joint Degree)Monotonicity in Intensional Contexts: Weakening and Pragmatic Effects under Modals and AttitudesMaria Aloni, Fenrong Liu
Yiyan Wang 王奕岩 (Tsinghua-UvA Joint Degree)Collective Agency: From Philosophical and Logical Perspectives Martin Stokhof, Fenrong Liu, Sonja Smets

2022

AuthorTitleSupervisor(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

AuthorTitleSupervisor(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

AuthorTitleSupervisor(s)
Xiaoxuan Fu 付小轩 (Tsinghua) Preference Lifting under Uncertainty (不确定情境下的偏好提升)Fenrong Liu, Johan van Benthem

2019

AuthorTitleSupervisor(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

AuthorTitleSupervisor(s)
Chenwei Shi 石辰威 (UvA) Reason to Believe Sonja Smets, Fenrong Liu
Malvin Gattinger (UvA)New Directions in Model Checking Dynamic Epistemic LogicJan van Eijck, Alexandru Baltag, Kaile Su

2017

AuthorTitleSupervisor(s)
Yibin Dai 戴益斌 (Tsinghua)Davidson’s Theory of Truth (戴维森的真之理论)Lu Wang

2014

AuthorTitleSupervisor(s)
Bo Xiao 肖波 (Tsinghua)Modal Probability Logic (模态概率逻辑)Lu Wang

2013

AuthorTitleSupervisor(s)
Hongyu Yang 杨红玉 (Tsinghua University)Research on the Theories of Quantification: From Quine’s Point of View (量化理论研究——从蒯因的观点看)Lu Wang

2011

AuthorTitleSupervisor(s)
Minghui Ma 马明辉 (Tsinghua University)Model Theory for Graded Modal Languages (分次模态语言的模型论)Lu Wang

2010

AuthorTitleSupervisor(s)
Zhirong Zhou 周志荣 (Tsinghua University)
Truth-Conditional Theory of Meaning
(真之条件的意义理论)
Lu Wang

2009

AuthorTitleSupervisor(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

AuthorTitleSupervisor(s)
Fangfang Tang 唐芳芳 (Tsinghua University)
Generalized Sheffer-stroke Based Modal Tableaus and Analytic Modal Axiomatic Systems
(基于广义谢弗竖的模态表列和分析性模态公理系统)
Lu Wang

2007

AuthorTitleSupervisor(s)
Lina Zhang 张立娜 (Tsinghua University)

The Semantics of Individual Terms
(个体词的逻辑语义)
Lu Wang

<< Back