2026 May 28 14:00-15:30 Jana S. Rošker (University of Ljubljana) Time and Agency: Sublating Conceptions of the Future in St Augustine and the Later Mohist Canon

Our understanding of time, including the future, is grounded in a universal perception shared across cultures. However, the ways in which this universal perception is comprehended differ significantly, shaped by the linguistic structures of various languages and the broader culturally conditioned frameworks of reference they are part of. These differences in comprehension give rise to diverse models of the future, offering unique insights into alternative perspectives on the metaphysics of time and its relation to the philosophy of action. This paper explores these alternative perspectives through a comparative analysis of the Later Mohist view from ancient Chinese thought and St. Augustine’s introspective framework, influential in Western philosophy…  More>>

2026 June 11 14:00-15:30 Haoxuan Luo (罗昊轩, Tsinghua University) General Fitting Models Based on Term Functions

Unlike modal logic, which uses \box\phi to express that \phi is known or necessary, justification logic uses t: \phi to express that t is a reason or proof for \phi. This talk focuses on term functions, which specify what each justification term can justify.

I will first introduce the basic language, axiomatic calculus, and two semantic models: Mkrtychev models (M-models) and Fitting models (F-models). In my work, I will present a global logic for a set of term functions and a local logic for one fixed term function. Finally, I will discuss the global-local equivalence theorem and the strong completeness result.

More>>

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