NEWS




- Third Call for Papers: The 6th Workshop on Dynamic Logic – New Trends and Applications (DaLí 2025), October 20-21, Xi’an.
- 逻辑学研究中心联合发表大模型逻辑推理能力最新综述
- CFP: The Fourth International Workshop on Logic and Philosophy
- DLMPST逻辑教育委员会讲座 | 玛丽亚·曼扎诺:逻辑教育工具
- “逻辑与博弈国际研讨会”在山西太原举办
- Professor Fenrong Liu Elected as a Member of the Institut International de Philosophie (IIP)
Regular Events
2025 Jun 12 16:00-17:30 Carlo Cordasco (University of Manchester) The Accuracy-Explainability trade-off and its implication
Vredenburgh (2021) argues for a collective interest in “explainability” of machine‐learning outputs on the grounds that, without genuine causal explanations, agents lack the means to revise their strategies. This paper begins by examining the implicit theory of explanation at stake…More>>
2025 Jun 12 14:00-15:30 Rui Zhu (祝瑞, University of Auckland) How to Handle Arbitrary Announcement Operators: Completeness and Model Transformation in Social Announcement Logic
Arbitrary announcement operators are dynamic modalities that quantify over all possible messages that can be announced. They enable the expression of whether a given formula remains valid under any such announcement, thereby significantly enhancing the expressive power of Social Announcement Logic (SAL)…More>>