Regular Events
2026 Sep 24 16:00-17:30 Johan van Benthem (Tsinghua University, Stanford University, and Amsterdam University) A Short History of Set Lifting and its Modal Character
Many current hyperintensional logics with a semantics using truthmaking, ‘support’, or teams fit in a long tradition of set-lifting classical logical systems. I will add some older examples dating back to around 1980, stressing the essentially modal character of this move. Next I will discuss the mathematical framework of ‘Complex Algebra’ that lies behind set-lifting. Finally, I introduce two faithful translations of known hyperintensional logics into classical modal logics. I conclude with some discussion of the many new issues these connections raise for both kinds of logical system.
2026 Sep 24 14:00-15:30 Giovanni Sanavio (University of Milan) A Decision-Theoretic Framework for Personalized Care in Oncology
Recent advances in the understanding of the micro-physiological mechanisms underlying carcinogenesis have increased the importance of personalized reasoning and decision-making in clinical oncology. In this rapidly evolving context, the purpose of personalized cancer medicine is to counterbalance standardization in patient care by tailoring and adapting interventions to individual clinical histories and therapeutic preferences of each patient. It is perhaps surprising, then, that models for personalized decision-analysis under limited evidence are still mostly confined to econometrics, while similarly methodologically justified approaches to integrate and evaluate evidence in clinical decision-making remain comparatively underused…
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>>
people
education
