{"id":7627,"date":"2024-10-21T21:13:43","date_gmt":"2024-10-21T13:13:43","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=7627"},"modified":"2024-10-24T22:27:45","modified_gmt":"2024-10-24T14:27:45","slug":"international-workshop-on-logic-and-games","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/international-workshop-on-logic-and-games\/","title":{"rendered":"INTERNATIONAL WORKSHOP ON LOGIC AND GAMES"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"7627\" class=\"elementor elementor-7627\" 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-74a0fbe4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"74a0fbe4\" 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-2682a4b6\" data-id=\"2682a4b6\" 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-776ab58d elementor-widget elementor-widget-text-editor\" data-id=\"776ab58d\" 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\/10\/WechatIMG74496-scaled.jpg\",\"id\":7628,\"dimRatio\":50,\"focalPoint\":{\"x\":0.51,\"y\":0.81},\"isDark\":false,\"align\":\"wide\"} -->\n<div class=\"wp-block-cover alignwide is-light\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim\"><\/span><img decoding=\"async\" loading=\"lazy\" width=\"2560\" height=\"1440\" class=\"wp-block-cover__image-background wp-image-7628\" alt=\"\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/WechatIMG74496-scaled.jpg\" style=\"object-position:51% 81%\" data-object-fit=\"cover\" data-object-position=\"51% 81%\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/WechatIMG74496-scaled.jpg 2560w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/WechatIMG74496-200x112.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/WechatIMG74496-768x432.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/WechatIMG74496-1536x864.jpg 1536w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/WechatIMG74496-2048x1152.jpg 2048w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/WechatIMG74496-1110x624.jpg 1110w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/WechatIMG74496-528x297.jpg 528w\" sizes=\"(max-width: 2560px) 100vw, 2560px\" \/><div class=\"wp-block-cover__inner-container\"><!-- wp:paragraph {\"align\":\"center\",\"placeholder\":\"\u7f16\u5199\u6807\u9898\u2026\",\"textColor\":\"luminous-vivid-amber\",\"fontSize\":\"x-large\"} -->\n<p class=\"has-text-align-center has-luminous-vivid-amber-color has-text-color has-x-large-font-size\">LOGIC AND GAMES<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph {\"align\":\"center\",\"textColor\":\"luminous-vivid-amber\",\"fontSize\":\"medium\"} -->\n<p class=\"has-text-align-center has-luminous-vivid-amber-color has-text-color has-medium-font-size\">October 18-19, 2024, Taiyuan, China<\/p>\n<!-- \/wp:paragraph --><\/div><\/div>\n<!-- \/wp:cover -->\n\n<!-- wp:heading {\"textAlign\":\"center\"} -->\n<h2 class=\"has-text-align-center\"><\/h2>\n<!-- \/wp:heading -->\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-dc74ce1 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"dc74ce1\" 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-4ec6447\" data-id=\"4ec6447\" 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-489ec43 elementor-aspect-ratio-169 elementor-widget elementor-widget-video\" data-id=\"489ec43\" data-element_type=\"widget\" data-settings=\"{&quot;video_type&quot;:&quot;hosted&quot;,&quot;controls&quot;:&quot;yes&quot;,&quot;aspect_ratio&quot;:&quot;169&quot;}\" data-widget_type=\"video.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-video .elementor-widget-container{overflow:hidden;-webkit-transform:translateZ(0);transform:translateZ(0)}.elementor-widget-video .elementor-open-inline .elementor-custom-embed-image-overlay{position:absolute;top:0;left:0;width:100%;height:100%;-webkit-background-size:cover;background-size:cover;background-position:50%}.elementor-widget-video .elementor-custom-embed-image-overlay{cursor:pointer;text-align:center}.elementor-widget-video .elementor-custom-embed-image-overlay:hover .elementor-custom-embed-play i{opacity:1}.elementor-widget-video .elementor-custom-embed-image-overlay img{display:block;width:100%}.elementor-widget-video .e-hosted-video .elementor-video{-o-object-fit:cover;object-fit:cover}<\/style>\t\t<div class=\"e-hosted-video elementor-wrapper elementor-fit-aspect-ratio elementor-open-inline\">\n\t\t\t\t\t<video class=\"elementor-video\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/J75video.mp4\" controls=\"\" controlsList=\"nodownload\"><\/video>\n\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-b1684b4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b1684b4\" 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-a0b8170\" data-id=\"a0b8170\" 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-ad819c0 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"ad819c0\" 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-b01e70b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b01e70b\" 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-a6fbf76\" data-id=\"a6fbf76\" 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-e252a09 elementor-widget elementor-widget-heading\" data-id=\"e252a09\" 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\">Program<\/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-bb0176a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"bb0176a\" 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-d3ccce1\" data-id=\"d3ccce1\" 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-56d3b38 elementor-widget elementor-widget-text-editor\" data-id=\"56d3b38\" 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<p>Please click the title of the presentation to view the slides or files.<\/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-213747c elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"213747c\" 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-072230c\" data-id=\"072230c\" 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-fe37c35 elementor-widget elementor-widget-text-editor\" data-id=\"fe37c35\" 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 style=\"font-weight: 400; height: 2774px; width: 1000px; border-collapse: collapse; border: 1px solid black;\">\n<tbody>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p style=\"text-align: center;\">Time<\/p>\n<\/td>\n<td style=\"border: 1px solid black; text-align: center;\" width=\"250\">\n<p>Title<\/p>\n<\/td>\n<td style=\"border: 1px solid black; text-align: center;\" width=\"300\">\n<p>Speaker<\/p>\n<\/td>\n<td style=\"border: 1px solid black; text-align: center;\" width=\"150\">\n<p>Chair<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>9:30-9:45<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p>Opening<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Yang You \u5c24\u6d0b<\/p>\n<p>(Shanxi University)<\/p>\n<p>Beihai Zhou \u5468\u5317\u6d77<\/p>\n<p>(Shanxi University)<\/p>\n<p>Fenrong Liu \u5218\u594b\u8363<\/p>\n<p>(Tsinghua University)<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"150\">\n<p>Yiyan Wang \u738b\u5955\u5ca9<\/p>\n<p>(Shanxi University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>9:45-10:00<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" colspan=\"3\" width=\"800\">\n<p><em><i>Group picture<\/i><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>10:00-10:15<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/2.1l\u674e\u5a1c\u7ecf\u5178\u903b\u8f91\u7684\u4e00\u79cd\u673a\u5668\u8f85\u52a9\u8bc1\u660e-.pptx\">\u7ecf\u5178\u903b\u8f91\u7684\u4e00\u79cd\u673a\u5668\u8f85\u52a9\u8bc1\u660e<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Na Li \u674e\u5a1c<\/p>\n<p>(Nankai University)<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" rowspan=\"4\" width=\"150\">\n<p>Chao Xu \u5f90\u8d85<\/p>\n<p>(Shanxi University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>10:15-10:30<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/2.2\u90ed\u7f8e\u4e91-Probabilistic-epistemic-logic-based-on-neighborhood-semantics-.pdf\">Probabilistic Epistemic Logic based on Neighborhood Semantics<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Meiyun Guo\u90ed\u7f8e\u4e91<\/p>\n<p>(Southwest University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>10:30-10:45<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/2.3\u674e\u5927\u67f1.pdf\">Graph Game Logic: Some Recent Developments<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Dazhu Li \u674e\u5927\u67f1<\/p>\n<p>(Chinese Academy of Sciences)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>10:45-11:00<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/2.4\u90dd\u65ed\u4e1c-A-logical-analysis-of-the-debate-of-Haoliang.pptx\">A Logical Analysis of the Debate of Haoliang<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Xudong Hao\u90dd\u65ed\u4e1c\u00a0<\/p>\n<p>(East China Normal University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>11:00-11:15<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" colspan=\"3\" width=\"800\">\n<p><em><i>Coffee break<\/i><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>11:15-12:00<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p>Launch Event for the Chinese Translation of <em><i>Logic in Games<\/i><\/em><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Jianying Cui \u5d14\u5efa\u82f1<\/p>\n<p>(Sun Yat-sen University)<\/p>\n<p>Xiaoxuan Fu \u4ed8\u5c0f\u8f69<\/p>\n<p>(China University of Political Science and Law)<\/p>\n<p>Fei Liang \u6881\u6590<\/p>\n<p>(Tsinghua University Press)<\/p>\n<p>Johan van Benthem \u8303\u4e19\u7533<\/p>\n<p>(Tsinghua &amp; Stanford &amp; University of Amsterdam)<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"150\">\n<p>Chenwei Shi \u77f3\u8fb0\u5a01<\/p>\n<p>(Tsinghua University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>12:00-13:30<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" colspan=\"3\" width=\"800\">\n<p><em><i>Lunch<\/i><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>13:30-13:45<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p>Dialogical Modal Logic<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Y\u00ec N. W\u00e1ng \u738b\u8f76<\/p>\n<p>(Sun Yat-sen University)<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" rowspan=\"4\" width=\"150\">\n<p>Junhua Yu \u4fde\u73fa\u534e<\/p>\n<p>(Tsinghua University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>13:45-14:00<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/4.2-\u9a6c\u660e\u8f89-Revised-slides-mc1019.pdf\">The Truth about the McKinsey Axiom<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Minghui Ma \u9a6c\u660e\u8f89<\/p>\n<p>(Sun Yat-sen University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>14:00-14:15<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/PPT_On_seriality__independence_of_agents__and_determinism_in_models_for_strategic_reasoning-2.pdf\">Seriality, Independence of Agents, and Determinism in Models for Strategic Reasoning<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Fengkui Ju \u741a\u51e4\u9b41<\/p>\n<p>(Beijing Normal University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>14:15-14:30<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/instrumenal_ob_pre.pdf\">A Logic for Instrumental Obligation<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Jialiang Yan \u95eb\u4f73\u4eae\u00a0<\/p>\n<p>(Tsinghua University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>14:30-14:45<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" colspan=\"3\" width=\"800\">\n<p><em><i>Coffee Break<\/i><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>14:45-15:00<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/5.1-Chenyu-Taiyuan-LogicGames-10.19.pdf\">Sequent Calculus for Propositional Logic of Weakly Connected Transitive Kripke Frames<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Yu Chen \u9648\u94b0<\/p>\n<p>(Sichuan University)<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" rowspan=\"4\" width=\"150\">\n<p>Kaibo Xie \u8c22\u51ef\u535a<\/p>\n<p>(Wuhan University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>15:00-15:15<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/5.2and-5.3\u8d75\u4e4b\u5149-Cardinality-Comparison-and-BNL-.pdf\">Game Semantics of ML(#) and Basic Neighborhood Logic\u00a0I<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Xiaoxuan Fu \u4ed8\u5c0f\u8f69<\/p>\n<p>(China University of Political Science and Law)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>15:15-15:30<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/5.2and-5.3\u8d75\u4e4b\u5149-Cardinality-Comparison-and-BNL-.pdf\">Game Semantics of ML(#) and Basic Neighborhood Logic\u00a0II<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Zhiguang Zhao \u8d75\u4e4b\u5149<\/p>\n<p>(Taishan University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>15:30-16:00<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/2024.TaiyuanLIGTenYearsAfter.Final_.pdf\">Logic in Games: Ten Years After<\/a><\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Johan van Benthem \u8303\u4e19\u7533<\/p>\n<p>(Tsinghua &amp; Stanford &amp; University of Amsterdam)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>16:00-16:20<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" colspan=\"3\" width=\"800\">\n<p><em><i>Coffee Break<\/i><\/em><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>16:20-17:50<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p>Commemoration and Celebration Session<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>\u00a0Informal Speeches<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"150\">\n<p>Fenrong Liu \u5218\u594b\u8363<\/p>\n<p>(Tsinghua University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>17:50-18:00<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"250\">\n<p>Closing remarks<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" width=\"300\">\n<p>Yiyan Wang \u738b\u5955\u5ca9<\/p>\n<p>(Shanxi University)<\/p>\n<p>Jialiang Yan \u95eb\u4f73\u4eae<\/p>\n<p>(Tsinghua University)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"border: 1px solid black;\" width=\"200\">\n<p>18:00-20:00<\/p>\n<\/td>\n<td style=\"border: 1px solid black;\" colspan=\"3\" width=\"800\">\n<p><em><i>Banquet<\/i><\/em><\/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-9c9b821 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"9c9b821\" 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-2bf783b\" data-id=\"2bf783b\" 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-8567b0f elementor-widget elementor-widget-spacer\" data-id=\"8567b0f\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\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-d9167be elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d9167be\" 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-ee4a753\" data-id=\"ee4a753\" 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-22f0b46 elementor-widget elementor-widget-heading\" data-id=\"22f0b46\" 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\">Speeches<\/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-6837f6e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6837f6e\" 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-ca52c7f\" data-id=\"ca52c7f\" 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-1cff096 elementor-widget elementor-widget-text-editor\" data-id=\"1cff096\" 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>Jianying Cui: <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/3.1-Taiyuan-Jianying-Cui.pptx\">Game in Logic<\/a><\/li>\n<li>Xiaoxuan Fu: <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/3.2-\u4ed8\u5c0f\u8f69main.pdf\">When Logic Encounters Games: A Game Semantics Perspective<\/a><\/li>\n<li>Johan van Benthem: <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/2024.TaiyuanTranslationSpeech.Final_.pdf\">At the Presentation of the Chinese Edition of the &#8220;Logic in Games&#8217; Book<\/a><\/li>\n<li>Johan van Benthem: <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/2024.TaiyuanPersonalSpeech.Final_.pdf\">At the End of the Informal Session<\/a><\/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-28b99ae elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"28b99ae\" 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-318bd7d\" data-id=\"318bd7d\" 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-6fe4075 elementor-widget elementor-widget-spacer\" data-id=\"6fe4075\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\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-1f7828b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"1f7828b\" 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-202acac\" data-id=\"202acac\" 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-2b4ac42 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"2b4ac42\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\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-fe35176 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fe35176\" 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-f80a491\" data-id=\"f80a491\" 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-865f28e elementor-widget elementor-widget-spacer\" data-id=\"865f28e\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\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-5610cb2 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5610cb2\" 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-32ed661\" data-id=\"32ed661\" 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-de7f8ea elementor-arrows-position-inside elementor-pagination-position-outside elementor-widget elementor-widget-image-carousel\" data-id=\"de7f8ea\" data-element_type=\"widget\" data-settings=\"{&quot;slides_to_show&quot;:&quot;1&quot;,&quot;navigation&quot;:&quot;both&quot;,&quot;autoplay&quot;:&quot;yes&quot;,&quot;pause_on_hover&quot;:&quot;yes&quot;,&quot;pause_on_interaction&quot;:&quot;yes&quot;,&quot;autoplay_speed&quot;:5000,&quot;infinite&quot;:&quot;yes&quot;,&quot;effect&quot;:&quot;slide&quot;,&quot;speed&quot;:500}\" data-widget_type=\"image-carousel.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-carousel .swiper-container{position:static}.elementor-widget-image-carousel .swiper-container .swiper-slide figure{line-height:inherit}.elementor-widget-image-carousel .swiper-slide{text-align:center}.elementor-image-carousel-wrapper:not(.swiper-container-initialized) .swiper-slide{max-width:calc(100% \/ var(--e-image-carousel-slides-to-show, 3))}<\/style>\t\t<div class=\"elementor-image-carousel-wrapper swiper-container\" dir=\"ltr\">\n\t\t\t<div class=\"elementor-image-carousel swiper-wrapper\">\n\t\t\t\t\t\t\t\t<div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/1fcc240a3gc9e657ef0a8c0a7e40bce2-768x384.jpg\" alt=\"1fcc240a3gc9e657ef0a8c0a7e40bce2\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/86b964958kf86156887c19c5bcf83b3d-768x512.jpg\" alt=\"86b964958kf86156887c19c5bcf83b3d\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/77c49ceebld14503db9426473a2f73a6-768x512.jpg\" alt=\"77c49ceebld14503db9426473a2f73a6\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/455746c3dt98066a9d48686ca78996c7-768x512.jpg\" alt=\"455746c3dt98066a9d48686ca78996c7\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/49ca2cc1bkabe0a547d2e7429c7364de-768x512.jpg\" alt=\"49ca2cc1bkabe0a547d2e7429c7364de\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/698ab38eana6add9572f7c61dd3d6939-768x512.jpg\" alt=\"698ab38eana6add9572f7c61dd3d6939\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10\/ba59ae34ckd35ec7bb17228a696f22be-768x512.jpg\" alt=\"ba59ae34ckd35ec7bb17228a696f22be\" \/><\/figure><\/div>\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"swiper-pagination\"><\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-prev\">\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-chevron-left\"><\/i>\t\t\t\t\t\t<span class=\"elementor-screen-only\">\u4e0a\u4e00\u9875<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-next\">\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-chevron-right\"><\/i>\t\t\t\t\t\t<span class=\"elementor-screen-only\">\u4e0b\u4e00\u9875<\/span>\n\t\t\t\t\t<\/div>\n\t\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>http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/10 [&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\/7627"}],"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=7627"}],"version-history":[{"count":13,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7627\/revisions"}],"predecessor-version":[{"id":7683,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7627\/revisions\/7683"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=7627"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}