{"id":8989,"date":"2026-01-11T00:09:30","date_gmt":"2026-01-10T16:09:30","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=8989"},"modified":"2026-01-11T00:49:19","modified_gmt":"2026-01-10T16:49:19","slug":"the-18th-tsinghua-logic-colloquium","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/the-18th-tsinghua-logic-colloquium\/","title":{"rendered":"The 18th Tsinghua Logic Colloquium"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"8989\" class=\"elementor elementor-8989\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-c9edf49 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"c9edf49\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1e3c49f\" data-id=\"1e3c49f\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3fc09ce elementor-widget elementor-widget-text-editor\" data-id=\"3fc09ce\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p><!-- wp:cover {\"url\":\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/pexels-tomfisk-1653825-scaled.jpg\",\"id\":8253,\"dimRatio\":50,\"align\":\"wide\"} --><\/p><div class=\"wp-block-cover alignwide\"><p><img decoding=\"async\" loading=\"lazy\" class=\"wp-block-cover__image-background alignnone wp-image-8994 size-large\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/01\/albert-canite-B15CBmVWyrI-unsplash-4390x2835.jpg\" alt=\"\" width=\"1140\" height=\"736\" data-object-fit=\"cover\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/01\/albert-canite-B15CBmVWyrI-unsplash-4390x2835.jpg 4390w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/01\/albert-canite-B15CBmVWyrI-unsplash-200x129.jpg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/01\/albert-canite-B15CBmVWyrI-unsplash-768x496.jpg 768w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/01\/albert-canite-B15CBmVWyrI-unsplash-1536x992.jpg 1536w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/01\/albert-canite-B15CBmVWyrI-unsplash-2048x1323.jpg 2048w\" sizes=\"(max-width: 1140px) 100vw, 1140px\" \/><\/p><div class=\"wp-block-cover__inner-container\"><p><!-- wp:paragraph {\"align\":\"center\",\"placeholder\":\"\u7f16\u5199\u6807\u9898\u2026\",\"fontSize\":\"x-large\"} --><\/p><p class=\"has-text-align-center has-x-large-font-size\"><strong>Winter Meeting Advances in Logic<\/strong><\/p><p><!-- \/wp:paragraph --><\/p><\/div><\/div><p><!-- \/wp:cover --><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-2f79d5e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"2f79d5e\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-59fa6f2\" data-id=\"59fa6f2\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-fe7e0e0 elementor-widget elementor-widget-text-editor\" data-id=\"fe7e0e0\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<ul><li><strong>Time<\/strong>: 9:00-17:55, Jan 12th, 2025<\/li><li><strong>Venue<\/strong>: Room 329, School of Humanities, Tsinghua University.<\/li><\/ul>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-6866947 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6866947\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-791a7a1\" data-id=\"791a7a1\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e0e9d7a elementor-widget elementor-widget-text-editor\" data-id=\"e0e9d7a\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<section class=\"programme\"><h2>Programme<\/h2><table class=\"programme-table\" aria-label=\"Programme schedule\"><tbody><tr><td class=\"time\">09:00\u201309:10<\/td><td class=\"item\"><div class=\"session-title\">Welcome Speech<\/div><\/td><\/tr><tr><td class=\"time\">09:10\u201310:40<\/td><td class=\"item\"><div class=\"speaker\">Carlos Areces <span class=\"affil\">(Universidad Nacional de C\u00f3rdoba)<\/span><\/div><div class=\"talk-title\">A Logical Menu<\/div><\/td><\/tr><tr class=\"break\"><td class=\"time\">10:40\u201311:00<\/td><td class=\"item\"><span class=\"break-label\">Coffee Break<\/span><\/td><\/tr><tr><td class=\"time\">11:00\u201311:25<\/td><td class=\"item\"><div class=\"speaker\">Qian Chen <span class=\"affil\">(Tsinghua University)<\/span><\/div><div class=\"talk-title\">Lattices of Tense Logics<\/div><\/td><\/tr><tr><td class=\"time\">11:25\u201311:50<\/td><td class=\"item\"><div class=\"speaker\">Zhiguang Zhao <span class=\"affil\">(Taishan University)<\/span><\/div><div class=\"talk-title\">Modal Logic with Counting<\/div><\/td><\/tr><tr><td class=\"time\">11:50\u201312:15<\/td><td class=\"item\"><div class=\"speaker\">Xiaoxuan Fu <span class=\"affil\">(China University of Political Science and Law)<\/span><\/div><div class=\"talk-title\">Model Comparison Game for Modal Logic with Counting and Basic Neighborhood Logic<\/div><\/td><\/tr><tr class=\"break lunch\"><td class=\"time\">12:15\u201313:30<\/td><td class=\"item\"><span class=\"break-label\">Lunch Break<\/span><\/td><\/tr><tr><td class=\"time\">13:30\u201314:15<\/td><td class=\"item\"><div class=\"speaker\">Luciana Benotti <span class=\"affil\">(Universidad Nacional de C\u00f3rdoba)<\/span><\/div><div class=\"talk-title\">Overgeneralization and Stereotypes in Chain-of-Thought Reasoning<\/div><\/td><\/tr><tr><td class=\"time\">14:15\u201314:45<\/td><td class=\"item\"><div class=\"speaker\">Fenrong Liu <span class=\"affil\">(Tsinghua University)<\/span><\/div><div class=\"talk-title\">Enhancing Logical Reasoning of LLMs via Phased Fine-Tuning<\/div><\/td><\/tr><tr><td class=\"time\">14:45\u201315:00<\/td><td class=\"item\"><div class=\"speaker\">Fengxiang Cheng <span class=\"affil\">(University of Amsterdam)<\/span><\/div><div class=\"talk-title\">Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning<\/div><\/td><\/tr><tr class=\"break\"><td class=\"time\">15:00\u201315:20<\/td><td class=\"item\"><span class=\"break-label\">Coffee Break<\/span><\/td><\/tr><tr><td class=\"time\">15:20\u201315:45<\/td><td class=\"item\"><div class=\"speaker\">Jialiang Yan <span class=\"affil\">(China University of Political Science and Law)<\/span><\/div><div class=\"talk-title\">An Application of Hybrid Logic in Formal Semantics<\/div><\/td><\/tr><tr><td class=\"time\">15:45\u201316:10<\/td><td class=\"item\"><div class=\"speaker\">Dazhu Li <span class=\"affil\">(University of Chinese Academy of Sciences)<\/span><\/div><div class=\"talk-title\">Logics for the Hide and Seek Game<\/div><\/td><\/tr><tr><td class=\"time\">16:10\u201316:35<\/td><td class=\"item\"><div class=\"speaker\">Han Xiao <span class=\"affil\">(Tsinghua University)<\/span><\/div><div class=\"talk-title\">Cheq is not Finitely Axiomatisable<\/div><\/td><\/tr><tr class=\"break\"><td class=\"time\">16:35\u201316:55<\/td><td class=\"item\"><span class=\"break-label\">Break<\/span><\/td><\/tr><tr><td class=\"time\">16:55\u201317:15<\/td><td class=\"item\"><div class=\"speaker\">Lei Li <span class=\"affil\">(Shaanxi Normal University)<\/span><\/div><div class=\"talk-title\">On the Modal Logic Characterizing Point Aggregation Changes<\/div><\/td><\/tr><tr><td class=\"time\">17:15\u201317:35<\/td><td class=\"item\"><div class=\"speaker\">Xin Li <span class=\"affil\">(Tsinghua University)<\/span><\/div><div class=\"talk-title\">On Neighborhood Semantics and Calculus for Intuitionistic Non-Normal Modal Logics<\/div><\/td><\/tr><tr><td class=\"time\">17:35\u201317:55<\/td><td class=\"item\"><div class=\"speaker\">Wei Wang <span class=\"affil\">(Tsinghua University)<\/span><\/div><div class=\"talk-title\">Representation of Effectivity Functions Allowing Dependence<\/div><\/td><\/tr><\/tbody><\/table><\/section><p><style>\n  .programme { max-width: 900px; }<br \/>  .programme h2 { margin: 0 0 0.8rem; letter-spacing: 0.2px; }<br \/>  .programme-table { width: 100%; border-collapse: collapse; }<br \/>  .programme-table td { vertical-align: top; padding: 0.65rem 0; }<br \/>  .programme-table tr + tr td { border-top: 1px solid rgba(0,0,0,0.10); }<br \/>  .time { width: 140px; font-variant-numeric: tabular-nums; color: rgba(0,0,0,0.70); }<br \/>  .speaker { font-weight: 600; }<br \/>  .affil { font-weight: 400; color: rgba(0,0,0,0.70); }<br \/>  .talk-title { font-style: italic; margin-top: 0.15rem; }<br \/>  .session-title { font-weight: 600; }<br \/>  .break .item { color: rgba(0,0,0,0.75); }<br \/>  .break-label { font-style: italic; }<br \/>  .lunch .break-label { font-weight: 600; font-style: normal; }<br \/><\/style><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Time: 9:00-17:55, Jan 12th, 2025 Venue: Room 329, Schoo [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8989"}],"collection":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=8989"}],"version-history":[{"count":10,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8989\/revisions"}],"predecessor-version":[{"id":9004,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8989\/revisions\/9004"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=8989"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}