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:00 | Coffee 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:30 | Lunch 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:20 | Coffee 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:55 | Break |
| 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 |