{"id":10112,"date":"2026-05-18T23:38:53","date_gmt":"2026-05-18T15:38:53","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=10112"},"modified":"2026-05-24T23:06:50","modified_gmt":"2026-05-24T15:06:50","slug":"the-19th-tsinghua-logic-colloquium","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/the-19th-tsinghua-logic-colloquium\/","title":{"rendered":"The 19th Tsinghua Logic Colloquium"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"10112\" class=\"elementor elementor-10112\" 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-7bc6ccf elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"7bc6ccf\" 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-f25095c\" data-id=\"f25095c\" 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-a149a5f elementor-widget elementor-widget-text-editor\" data-id=\"a149a5f\" 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-manjose-19872-scaled.jpg\",\"id\":8195,\"dimRatio\":50,\"isDark\":false,\"align\":\"wide\"} --><\/p>\n<div class=\"wp-block-cover alignwide is-light\">\n<p><img decoding=\"async\" loading=\"lazy\" class=\"wp-block-cover__image-background alignright wp-image-10115 size-full\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/05\/christian-lue-qQT7l54ERZM-unsplash-scaled-e1779119347997.jpg\" alt=\"\" width=\"2560\" height=\"1707\" data-object-fit=\"cover\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/05\/christian-lue-qQT7l54ERZM-unsplash-scaled-e1779119347997.jpg 2560w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/05\/christian-lue-qQT7l54ERZM-unsplash-scaled-e1779119347997-200x133.jpg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/05\/christian-lue-qQT7l54ERZM-unsplash-scaled-e1779119347997-768x512.jpg 768w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/05\/christian-lue-qQT7l54ERZM-unsplash-scaled-e1779119347997-1536x1024.jpg 1536w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/05\/christian-lue-qQT7l54ERZM-unsplash-scaled-e1779119347997-2048x1366.jpg 2048w\" sizes=\"(max-width: 2560px) 100vw, 2560px\" \/><\/p>\n<div class=\"wp-block-cover__inner-container\">\n<p><!-- wp:paragraph {\"align\":\"center\",\"placeholder\":\"\u7f16\u5199\u6807\u9898\u2026\",\"style\":{\"typography\":{\"fontStyle\":\"normal\",\"fontWeight\":\"600\",\"letterSpacing\":\"1px\",\"textTransform\":\"none\"}},\"textColor\":\"white\",\"fontSize\":\"x-large\"} --><\/p>\n<p class=\"has-text-align-center has-white-color has-text-color has-x-large-font-size\" style=\"font-style: normal; font-weight: 600; letter-spacing: 1px; text-transform: none;\">\u00a0 Recent Developments<\/p>\n<p class=\"has-text-align-center has-white-color has-text-color has-x-large-font-size\" style=\"font-style: normal; font-weight: 600; letter-spacing: 1px; text-transform: none;\">in Modal Logic<\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<\/div>\n<\/div>\n<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-9e17b09 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"9e17b09\" 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-fde5cb8\" data-id=\"fde5cb8\" 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-0457c6c elementor-widget elementor-widget-text-editor\" data-id=\"0457c6c\" 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>: 11:30-12:10, 13:20-18:00, May 25th, 2026<\/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-1933da6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"1933da6\" 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-e7ed3ec\" data-id=\"e7ed3ec\" 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-753cbd4 elementor-widget elementor-widget-text-editor\" data-id=\"753cbd4\" 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\">\n<h2>Programme<\/h2>\n<table class=\"programme-table\" aria-label=\"Programme schedule\">\n<tbody>\n<tr>\n<td class=\"time\">11:30\u201312:10<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Nick Bezhanishvili <span class=\"affil\">(University of Amsterdam)<\/span><\/div>\n<div class=\"talk-title\">Interpolation and Amalgamation in Extensions of S5 x S5 and Intuitionistic Modal Logic<\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">12:10\u201313:20<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Lunch Break<\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">13:20\u201314:00<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Jeremy Seligman <span class=\"affil\">(University of Auckland)<\/span><\/div>\n<div class=\"talk-title\">Situation Trees and Local Constraints Toward a Situation-Theoretic Modal Semantics<\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">14:00\u201314:40<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Y\u00ec N. W\u00e1ng <span class=\"affil\">(Shandong University)<\/span><\/div>\n<div class=\"talk-title\">Modal Logic of n-state Frames<\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">14:40\u201315:00<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Coffee Break<\/span><\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">15:00\u201315:40<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Xiaoxuan Fu <span class=\"affil\">(China University of Political Science and Law)<\/span><\/div>\n<div class=\"talk-title\">From Preference Structures to Modal Logic with Counting<\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">15:40\u201316:20<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Junhua Yu <span class=\"affil\">(Tsinghua University)<\/span><\/div>\n<div class=\"talk-title\">Intuitionistic Epistemic Logic with Diamond in Kojima\u2019s Neighborhood Semantics<\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">16:20\u201316:40<\/td>\n<td class=\"item\">\n<div class=\"talk-title\">Coffee Break<\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">16:40\u201317:20<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Chenwei Shi <span class=\"affil\">(Tsinghua University)<\/span><\/div>\n<div class=\"talk-title\">Modal Logic of \u2200\u2203 Relation Lifting and Conditionals<\/div>\n<\/td>\n<\/tr>\n<tr>\n<td class=\"time\">17:20\u201318:00<\/td>\n<td class=\"item\">\n<div class=\"speaker\">Balder ten Cate <span class=\"affil\">(University of Amsterdam)<\/span><\/div>\n<div class=\"talk-title\">Craig Interpolation within the Landscape of Decidable Fragments of First-order Logic<\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/section>\n<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: 11:30-12:10, 13:20-18:00, May 25th, 2026 Venue: R [&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\/10112"}],"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=10112"}],"version-history":[{"count":32,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/10112\/revisions"}],"predecessor-version":[{"id":10256,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/10112\/revisions\/10256"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=10112"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}