{"id":7540,"date":"2024-08-12T14:07:51","date_gmt":"2024-08-12T06:07:51","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=7540"},"modified":"2024-08-12T14:53:00","modified_gmt":"2024-08-12T06:53:00","slug":"the-12th-tsinghua-logic-colloquium","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/the-12th-tsinghua-logic-colloquium\/","title":{"rendered":"The 12th Tsinghua Logic Colloquium"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"7540\" class=\"elementor elementor-7540\" 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-5d6b62c3 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5d6b62c3\" 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-199837d1\" data-id=\"199837d1\" 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-41524847 elementor-widget elementor-widget-text-editor\" data-id=\"41524847\" 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<!-- wp:cover {\"url\":\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/pexels-pixabay-355328-scaled.jpg\",\"id\":7541,\"dimRatio\":50,\"focalPoint\":{\"x\":0.5,\"y\":0.09},\"isDark\":false,\"align\":\"full\"} -->\n<div class=\"wp-block-cover alignfull is-light\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim\"><\/span><img decoding=\"async\" loading=\"lazy\" width=\"2560\" height=\"1707\" class=\"wp-block-cover__image-background wp-image-7541\" alt=\"\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/pexels-pixabay-355328-scaled.jpg\" style=\"object-position:50% 9%\" data-object-fit=\"cover\" data-object-position=\"50% 9%\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/pexels-pixabay-355328-scaled.jpg 2560w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/pexels-pixabay-355328-200x133.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/pexels-pixabay-355328-768x512.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/pexels-pixabay-355328-1536x1024.jpg 1536w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/pexels-pixabay-355328-2048x1365.jpg 2048w\" sizes=\"(max-width: 2560px) 100vw, 2560px\" \/><div class=\"wp-block-cover__inner-container\"><!-- wp:paragraph {\"align\":\"center\",\"placeholder\":\"\u7f16\u5199\u6807\u9898\u2026\",\"textColor\":\"white\",\"fontSize\":\"x-large\"} -->\n<p class=\"has-text-align-center has-white-color has-text-color has-x-large-font-size\"><strong>Summer&nbsp; Meeting: Advances in Logic<\/strong><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph {\"align\":\"center\",\"textColor\":\"white\"} -->\n<p class=\"has-text-align-center has-white-color has-text-color\">17th August, 2024<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph {\"align\":\"center\",\"textColor\":\"white\"} -->\n<p class=\"has-text-align-center has-white-color has-text-color\">Tsinghua University, Beijing, China<\/p>\n<!-- \/wp:paragraph --><\/div><\/div>\n<!-- \/wp:cover -->\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-0dc655d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"0dc655d\" 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-540e93f\" data-id=\"540e93f\" 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-c2912fa elementor-widget elementor-widget-text-editor\" data-id=\"c2912fa\" 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>\n<li><b>Time<\/b>: 10:00 AM-5:30 PM, August 17th, 2024<\/li>\n<li><b>Venue<\/b>: Room 329. Mengminwei Humanities Building, Tsinghua University<\/li>\n<\/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-3e01ca9 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3e01ca9\" 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-89b8e3a\" data-id=\"89b8e3a\" 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-aa7ab50 elementor-widget elementor-widget-heading\" data-id=\"aa7ab50\" data-element_type=\"widget\" data-widget_type=\"heading.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-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h2 class=\"elementor-heading-title elementor-size-default\">Programme<\/h2>\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-30478e2 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"30478e2\" 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-9556b7c\" data-id=\"9556b7c\" 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-c729230 elementor-widget elementor-widget-text-editor\" data-id=\"c729230\" 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<table cellspacing=\"0\" cellpadding=\"0\">\n<tbody>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\"><b>Time<\/b><\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\"><b>Speaker(s)<\/b><\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\"><b>Title<\/b><\/span><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">10:00-10:10<\/span><\/p>\n<\/td>\n<td colspan=\"2\" valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Opening<\/span><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">10:10-10:50<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Daisuke Ikegami (Sun Yat-Sen University)<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><em><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Preservation of AD via Forcings<\/span><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">10:50-11:30<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Lingyuan Ye (University of Cambridge)<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><em><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Intensionality via Universal Property of Arithmetic<\/span><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">11:30-13:00<\/span><\/p>\n<\/td>\n<td colspan=\"2\" valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Lunch<\/span><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">13:00-13:40<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Liping Tang (Sun Yat-Sen University)<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><em><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\"> A Communication Game for Linguistic Politeness in Social Networks<\/span><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">13:40-14:20<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Dazhu Li (Chinese Academy of Sciences)<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><em><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Logics of the Hide and Seek Game &amp; Product Logics with Diagonal Constant: A Hybrid Approach<\/span><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">14:20-14:30<\/span><\/p>\n<\/td>\n<td colspan=\"2\" valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Coffee Break<\/span><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">14:30-15:10<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Xiaoxin Jing (Capital Normal University)<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><em><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">A Hybrid Modal Logic for Dynamics of Abstract Argumentation<\/span><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">15:10-16:50<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Jialiang Yan (Tsinghua University)<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><em><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Ordered Disjunction in Team-based Semantics<\/span><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">16:50-17:30<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">John Lindqvist (University of Bergen)<\/span><\/p>\n<\/td>\n<td valign=\"top\">\n<p align=\"center\"><em><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Distributed Belief<\/span><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">18:00-20:00<\/span><\/p>\n<\/td>\n<td colspan=\"2\" valign=\"top\">\n<p align=\"center\"><span style=\"color: #000000; font-family: PingFang SC; font-size: small;\">Banquet<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\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-cd6cda4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"cd6cda4\" 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-809b0c1\" data-id=\"809b0c1\" 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-10cae41 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"10cae41\" data-element_type=\"widget\" data-widget_type=\"divider.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-divider{--divider-border-style:none;--divider-border-width:1px;--divider-color:#2c2c2c;--divider-icon-size:20px;--divider-element-spacing:10px;--divider-pattern-height:24px;--divider-pattern-size:20px;--divider-pattern-url:none;--divider-pattern-repeat:repeat-x}.elementor-widget-divider .elementor-divider{display:-webkit-box;display:-ms-flexbox;display:flex}.elementor-widget-divider .elementor-divider__text{font-size:15px;line-height:1;max-width:95%}.elementor-widget-divider .elementor-divider__element{margin:0 var(--divider-element-spacing);-ms-flex-negative:0;flex-shrink:0}.elementor-widget-divider .elementor-icon{font-size:var(--divider-icon-size)}.elementor-widget-divider .elementor-divider-separator{display:-webkit-box;display:-ms-flexbox;display:flex;margin:0;direction:ltr}.elementor-widget-divider--view-line_icon .elementor-divider-separator,.elementor-widget-divider--view-line_text .elementor-divider-separator{-webkit-box-align:center;-ms-flex-align:center;align-items:center}.elementor-widget-divider--view-line_icon .elementor-divider-separator:after,.elementor-widget-divider--view-line_icon .elementor-divider-separator:before,.elementor-widget-divider--view-line_text .elementor-divider-separator:after,.elementor-widget-divider--view-line_text .elementor-divider-separator:before{display:block;content:\"\";border-bottom:0;-webkit-box-flex:1;-ms-flex-positive:1;flex-grow:1;border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--element-align-left .elementor-divider .elementor-divider-separator>.elementor-divider__svg:first-of-type{-webkit-box-flex:0;-ms-flex-positive:0;flex-grow:0;-ms-flex-negative:100;flex-shrink:100}.elementor-widget-divider--element-align-left .elementor-divider-separator:before{content:none}.elementor-widget-divider--element-align-left .elementor-divider__element{margin-left:0}.elementor-widget-divider--element-align-right .elementor-divider .elementor-divider-separator>.elementor-divider__svg:last-of-type{-webkit-box-flex:0;-ms-flex-positive:0;flex-grow:0;-ms-flex-negative:100;flex-shrink:100}.elementor-widget-divider--element-align-right .elementor-divider-separator:after{content:none}.elementor-widget-divider--element-align-right .elementor-divider__element{margin-right:0}.elementor-widget-divider:not(.elementor-widget-divider--view-line_text):not(.elementor-widget-divider--view-line_icon) .elementor-divider-separator{border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--separator-type-pattern{--divider-border-style:none}.elementor-widget-divider--separator-type-pattern.elementor-widget-divider--view-line .elementor-divider-separator,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:after,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:before,.elementor-widget-divider--separator-type-pattern:not([class*=elementor-widget-divider--view]) .elementor-divider-separator{width:100%;min-height:var(--divider-pattern-height);-webkit-mask-size:var(--divider-pattern-size) 100%;mask-size:var(--divider-pattern-size) 100%;-webkit-mask-repeat:var(--divider-pattern-repeat);mask-repeat:var(--divider-pattern-repeat);background-color:var(--divider-color);-webkit-mask-image:var(--divider-pattern-url);mask-image:var(--divider-pattern-url)}.elementor-widget-divider--no-spacing{--divider-pattern-size:auto}.elementor-widget-divider--bg-round{--divider-pattern-repeat:round}.rtl .elementor-widget-divider .elementor-divider__text{direction:rtl}<\/style>\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\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-c6cf7bc elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"c6cf7bc\" 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-c79b58b\" data-id=\"c79b58b\" 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-519ae0c elementor-widget elementor-widget-heading\" data-id=\"519ae0c\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Abstract<\/h2>\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-464322d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"464322d\" 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-33 elementor-top-column elementor-element elementor-element-26af642\" data-id=\"26af642\" 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-a8dd197 elementor-widget elementor-widget-image\" data-id=\"a8dd197\" data-element_type=\"widget\" data-widget_type=\"image.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-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/elementor\/thumbs\/\u4e0b\u8f7d-e1723444726335-qshlvxxillzp8kccjx3dinftjlkimfl6u1kpi9gz8c.jpeg\" title=\"\u4e0b\u8f7d\" alt=\"\u4e0b\u8f7d\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Daisuke Ikegami<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\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<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-0ea7c99\" data-id=\"0ea7c99\" 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-9484d97 elementor-widget elementor-widget-toggle\" data-id=\"9484d97\" data-element_type=\"widget\" data-widget_type=\"toggle.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-toggle{text-align:left}.elementor-toggle .elementor-tab-title{font-weight:700;line-height:1;margin:0;padding:15px;border-bottom:1px solid #d4d4d4;cursor:pointer;outline:none}.elementor-toggle .elementor-tab-title .elementor-toggle-icon{display:inline-block;width:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon svg{-webkit-margin-start:-5px;margin-inline-start:-5px;width:1em;height:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-right{float:right;text-align:right}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-left{float:left;text-align:left}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-closed{display:block}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-opened{display:none}.elementor-toggle .elementor-tab-title.elementor-active{border-bottom:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-closed{display:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-opened{display:block}.elementor-toggle .elementor-tab-content{padding:15px;border-bottom:1px solid #d4d4d4;display:none}@media (max-width:767px){.elementor-toggle .elementor-tab-title{padding:12px}.elementor-toggle .elementor-tab-content{padding:12px 10px}}<\/style>\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1551\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1551\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-right\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Preservation of AD via Forcings<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1551\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1551\"><p>In set theory, we study models of set theory. The Axiom of Determinacy (AD) states that for any set A of binary sequences of length omega, the Gale-Stewart game with the payoff set A is determined, i.e., one of the two players has a winning strategy in the game. While AD contradicts the Axiom of Choice (AC), there are close connections between models of ZFC (Zermelo-Fraenkel set theory with the Axiom of Choice) with large cardinals and models of ZF+AD (Zermelo-Fraenkel set theory without the Axiom of Choice plus the Axiom of Determinacy). <span class=\"Apple-converted-space\">\u00a0<\/span><\/p>\n<p>In this talk, we discuss the relationship between models of ZF+AD and forcings (a basic tool to extend a given model M of set theory using a partial order P in M). In particular, we consider a question when partial orders preserve the truth of AD, i.e., given a model M of ZF+AD and a partial order P in M, when P produces a generic extension M[G] of M such that M[G] is a model of ZF+AD. We present several results related to this question. <span class=\"Apple-converted-space\">\u00a0<\/span><\/p>\n<p>This is joint work with Nam Trang from the University of North Texas.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-4dd6bf0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4dd6bf0\" 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-33 elementor-top-column elementor-element elementor-element-41dbf3a\" data-id=\"41dbf3a\" 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-e31f9ce elementor-widget elementor-widget-image\" data-id=\"e31f9ce\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/elementor\/thumbs\/B88F5F95-BCD1-496E-AA36-2E2F1CA690F5_1_105_c-e1737220915133-r075gqfdats68eomxc3wgx2ko7v997x1jv5rbtgbj0.jpeg\" title=\"B88F5F95-BCD1-496E-AA36-2E2F1CA690F5_1_105_c\" alt=\"B88F5F95-BCD1-496E-AA36-2E2F1CA690F5_1_105_c\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Lingyuan Ye<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\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<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-fb6b488\" data-id=\"fb6b488\" 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-d8acb8b elementor-widget elementor-widget-toggle\" data-id=\"d8acb8b\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2271\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-2271\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-right\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Intensionality via Universal Property of Arithmetic<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2271\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2271\"><p>There are many &#8220;counterexamples&#8221; of intensional meta-logical statements, like Go\u0308del\u2019s second incompleteness theorem. For instance, the 1960 paper of Feferman showed that if we use a different axiomatisation of PA, then PA can prove its own consistency. Or if we choose a different provability predicate, PA can also prove the corresponding consistency statements. Of course, these shouldn&#8217;t be thought of as actual evidence falsifying the second incompleteness theorem. However, it has also been extremely hard to come up with exact criteria specifying which formulation would be acceptable. In this talk, I will provide a systematic solution based on categorical logic, explaining how this perspective provides a canonical way of understanding and proving intensional meta-logical statements.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-fea0ac2 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fea0ac2\" 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-33 elementor-top-column elementor-element elementor-element-bea8a01\" data-id=\"bea8a01\" 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-58ea598 elementor-widget elementor-widget-image\" data-id=\"58ea598\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/elementor\/thumbs\/\u4e0b\u8f7d-1-e1743747661908-r3un6b2idx489fglcjh56nai1d20i7zp8qoxk3jrz0.jpeg\" title=\"\u4e0b\u8f7d (1)\" alt=\"\u4e0b\u8f7d (1)\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Liping Tang<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\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<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-95fec0b\" data-id=\"95fec0b\" 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-752a9c9 elementor-widget elementor-widget-toggle\" data-id=\"752a9c9\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1221\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1221\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-right\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">A Communication Game for Linguistic Politeness in Social Networks<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1221\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1221\"><p>From the viewpoint of information transaction models in linguistic pragmatics, expressions of linguistic politeness (LP) induce costs upon speakers. That speakers regularly \u201cpay\u201d such cost is what formal models of LP typically explain either by individual-level strategic considerations (e.g., the speaker&#8217;s aim of avoiding a face-threat to the hearer) or community-level conventional considerations (e.g., the use of LP as a relation-acknowledging device). Because these explanations are compatible, as each relates to the speaker and hearer&#8217;s social relation, we combine them into a single game-theoretical model enriched by three types of social network structures (ring-shaped, star-shaped, and complete). Using simulation studies of (single and repeated) speech acts of requesting, we let the degree of LP be determined by (i) the degree of social imposition associated with a request, (ii) the number of interlocutors&#8217; past interactions, and (iii) the relative importance of strategic and conventional considerations. The greatest average optimal degree of LP is obtained in the star-shaped network, which intuitively corresponds to a power-centered, hierarchical society.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-665ea9a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"665ea9a\" 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-33 elementor-top-column elementor-element elementor-element-299e14f\" data-id=\"299e14f\" 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-700c51f elementor-widget elementor-widget-image\" data-id=\"700c51f\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/elementor\/thumbs\/WechatIMG2087-q6sa5etpbuxv5c7ermswdd2q3yu82fm1gnec97en30.jpeg\" title=\"WechatIMG2087\" alt=\"WechatIMG2087\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Dazhu Li<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\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<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-c9da839\" data-id=\"c9da839\" 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-6256b30 elementor-widget elementor-widget-toggle\" data-id=\"6256b30\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1031\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1031\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-right\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Logics of the Hide and Seek Game & Product Logics with Diagonal Constant: A Hybrid Approach<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1031\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1031\"><p style=\"font-weight: 400;\">In this talk, we extend our earlier logic for the hide and seek game with formulas from hybrid logic. Technically, this enrichment turns out to be very useful. For instance, when the previous logic tells us that the harmless-looking equality may make a logic undecidable, this extension narrows the scope of what we need to be careful about. Also, the extension is helpful in establishing complete Hilbert-style proof systems for the logic and one of its important fragments. More generally, by simply adapting our techniques, we can obtain complete proof systems for the hybrid extensions of product logics with the diagonal constant, while in literature the bare logics without the hybrid formulas are proved to be not finitely axiomatizable. Finally, we also study other topics for the logics, including the characterization of their expressive power, the advantages of our equality in defining frame properties, and the further extensions with some famous modalities proposed by Krister Segerberg in his pioneering work for product logic. This is joint work with Fenrong Liu and Katsuhiko Sano.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-79685fa elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"79685fa\" 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-33 elementor-top-column elementor-element elementor-element-828ca33\" data-id=\"828ca33\" 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-3e4fb97 elementor-widget elementor-widget-image\" data-id=\"3e4fb97\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/elementor\/thumbs\/Xiaoxin-Jing-qshm9ey8k4fnncrtvqqv991o2f5wy92ooq7951hu1o.jpg\" title=\"Xiaoxin-Jing\" alt=\"Xiaoxin-Jing\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Xiaoxin Jing<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\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<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-a4591c2\" data-id=\"a4591c2\" 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-bd9aadd elementor-widget elementor-widget-toggle\" data-id=\"bd9aadd\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1981\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1981\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-right\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">A Hybrid Modal Logic for Dynamics of Abstract Argumentation<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1981\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1981\"><p>This paper presents a study of the dynamics of abstract argumentation frameworks from the point of view of modal logic. More specifically, we introduce a hybrid modal logic HAML, give the axiomatization of HAML, and prove the soundness and completeness of this logic. In this paper, we take abstract argumentation frameworks as Kripke frames and express arguments and attack relations by nominals and modal operators in HAML, respectively. We define acceptability criteria using valid formulas in the argumentation frame and study two kinds of modifications: adding or removing attack relations between two arguments and how the acceptance of one or more arguments can be enforced.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-b9bdc2b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b9bdc2b\" 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-33 elementor-top-column elementor-element elementor-element-0f03979\" data-id=\"0f03979\" 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-3e38285 elementor-widget elementor-widget-image\" data-id=\"3e38285\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/elementor\/thumbs\/EA1945DD-7F14-479D-87D6-0FDC1C7D5FA5-scaled-e1720439297969-qqt242zirhxjkr3i3iy0q91z0hdl6equaeelvuha3g.jpeg\" title=\"EA1945DD-7F14-479D-87D6-0FDC1C7D5FA5\" alt=\"EA1945DD-7F14-479D-87D6-0FDC1C7D5FA5\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Jialiang Yan<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\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<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-ca8b154\" data-id=\"ca8b154\" 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-c615e92 elementor-widget elementor-widget-toggle\" data-id=\"c615e92\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2071\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-2071\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-right\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Ordered Disjunction in Team-based Semantics<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2071\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2071\"><p>This talk explores the phenomenon of ordered disjunctions in natural language, where one disjunct is more emphasized than the other due to pragmatic operations. This emphasis affects the logical characteristics of disjunctions, such as the commutative law and their behavior under modal contexts. By focusing on the role of parentheses, the talk illustrates how they introduce ordered interpretations: preference, likelihood, and appropriateness of wording, differing from standard boolean readings. These interpretations are context-dependent and result in weakening the information of one disjunct. The formal account of ordered disjunctions is based on a team-based semantics, extended to capture the logical characteristics and derivation of free choice and ignorance inferences.<span class=\"Apple-converted-space\">\u00a0<\/span><\/p>\n<p>This talk is based on a joint work with Chen Ju and Wei Wang.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-5f653dd elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5f653dd\" 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-33 elementor-top-column elementor-element elementor-element-8ccf3f0\" data-id=\"8ccf3f0\" 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-66c2cf6 elementor-widget elementor-widget-image\" data-id=\"66c2cf6\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/elementor\/thumbs\/\u4e0b\u8f7d-2-qshmdsv4gafttueg9n06w573v5jkvehlafstrizp0c.jpeg\" title=\"\u4e0b\u8f7d (2)\" alt=\"\u4e0b\u8f7d (2)\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">John Lindqvist<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\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<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-0754e6e\" data-id=\"0754e6e\" 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-7413bad elementor-widget elementor-widget-toggle\" data-id=\"7413bad\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1211\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1211\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-right\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Distributed Belief<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1211\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1211\"><p>In epistemic logic, the knowledge distributed among a group of agents, or the knowledge possible given the information distributed in the group, can be formalized using the intersection modality. Distributed knowledge can potentially be resolved if the information possessed by the group is shared among its members. Formally, this is captured by turning each individual accessibility relation into the intersection of those of the group. This works because the models for knowledge are reflexive.<\/p>\n<p>However, when we consider _belief_ rather than knowledge, the picture is not as simple. The cumulative information possessed by the agents can be contradictory. In such cases, the distributed belief of the group explodes: the group ends up with distributed belief in everything. Similarly, in such cases, resolving using the intersection operation makes the agents inconsistent. We consider non-explosive alternative definitions of distributed belief, both static and dynamic (resolved distributed belief). For the static case, we offer non-explosive alternative definitions for distributed belief that make use of maximal consistent subgroups. For the dynamic case, we discuss ways of preserving belief properties of individual agents.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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: 10:00 AM-5:30 PM, August 17th, 2024 Venue: Room 3 [&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":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7540"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=7540"}],"version-history":[{"count":5,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7540\/revisions"}],"predecessor-version":[{"id":7552,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7540\/revisions\/7552"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=7540"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}