Regular Events
2026 Oct 20 19:00-20:30 Malvin Gattinger (University of Amsterdam) Why does test-free PDL not have interpolation?

2026 Oct 15 14:00-15:30 Zhuoye Zhao (清华大学) Not just about time: a cross-domain hypothesis of Mandarin le
This talk advocates for a cross-domain approach to temporal semantics. I will focus on the semantics of the verbal-suffix le, a central puzzle in the study of the temporal system of Mandarin. It is argued that instead of a dedicated temporal morpheme, le should be construed as a cross-domain functional particle underspecified for the associated semantic domain. The key motivation for this characterization comes from the parallel uses of le in run-of-the-mill VPs (1) and comparatives (2) that are subject to similar licensing requirements. Le is responsible for the past interpretation in (1), which is absent in (2)…

2026 May 7 14:00-15:30 Xin Li (李鑫, Tsinghua University) Blok-Esakia定理
本期进阶读书会将于 2026年5月7日(周四)14:00-15:30 在清华大学逻辑学中心举行,由清华大学李鑫同学报告 F. Wolter, M. Zakharyaschev 的文章 On the Blok-Esakia Theorem,介绍 Blok-Esakia 定理,展示 Blok 提出的代数证明;如有时间,还会介绍该定理在直觉主义模态逻辑中的扩展。More>>












