“否定”是逻辑学和语言学的重要范畴，涉及句法、语义、语用乃至认知加工层面的接口问题，汉语否定词“不”和“没（有）”的句法分布与语义表达的差异也是学界讨论的热点。《现代汉语否定词的句法语义研究》（英文）从生成语法学和形式语义学的角度系统分析这两个汉语否定词的句法地位和体貌选择。句法方面，作者讨论了否定词是否拥有独立的否定投射等问题并具体区分了几种不同的否定辖域。语义方面，作者根据[事件/状态]和[动态/静态]两组体貌标准把所有的谓语分成四大类，并详述了每一类对否定词的选择，认为“没”必须选择阶段性谓语，约束一个事件/场景变量；而“不”选择个体性谓语，不能约束事件/场景变量。阶段性谓语在一定条件下可衍生为个体性谓语，专著详述了衍生途径，证明了两个否定词绝对互补的关系。