JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

The 18th Tsinghua Logic Colloquium

Winter Meeting Advances in Logic

  • Time: 9:00-17:55, Jan 12th, 2025
  • Venue: Room 329, School of Humanities, Tsinghua University.

Programme

09:00–09:10
Welcome Speech
09:10–10:40
Carlos Areces (Universidad Nacional de Córdoba)
A Logical Menu
10:40–11:00Coffee Break
11:00–11:25
Qian Chen (Tsinghua University)
Lattices of Tense Logics
11:25–11:50
Zhiguang Zhao (Taishan University)
Modal Logic with Counting
11:50–12:15
Xiaoxuan Fu (China University of Political Science and Law)
Model Comparison Game for Modal Logic with Counting and Basic Neighborhood Logic
12:15–13:30Lunch Break
13:30–14:15
Luciana Benotti (Universidad Nacional de Córdoba)
Overgeneralization and Stereotypes in Chain-of-Thought Reasoning
14:15–14:45
Fenrong Liu (Tsinghua University)
Enhancing Logical Reasoning of LLMs via Phased Fine-Tuning
14:45–15:00
Fengxiang Cheng (University of Amsterdam)
Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
15:00–15:20Coffee Break
15:20–15:45
Jialiang Yan (China University of Political Science and Law)
An Application of Hybrid Logic in Formal Semantics
15:45–16:10
Dazhu Li (University of Chinese Academy of Sciences)
Logics for the Hide and Seek Game
16:10–16:35
Han Xiao (Tsinghua University)
Cheq is not Finitely Axiomatisable
16:35–16:55Break
16:55–17:15
Lei Li (Shaanxi Normal University)
On the Modal Logic Characterizing Point Aggregation Changes
17:15–17:35
Xin Li (Tsinghua University)
On Neighborhood Semantics and Calculus for Intuitionistic Non-Normal Modal Logics
17:35–17:55
Wei Wang (Tsinghua University)
Representation of Effectivity Functions Allowing Dependence