{"id":6026,"date":"2023-05-21T13:15:23","date_gmt":"2023-05-21T05:15:23","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=6026"},"modified":"2026-06-11T16:31:11","modified_gmt":"2026-06-11T08:31:11","slug":"mianmenu","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/","title":{"rendered":"JRC for Logic"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"6026\" class=\"elementor elementor-6026\" 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-beadff4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"beadff4\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-wide\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-bf8f3e6\" data-id=\"bf8f3e6\" 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-66d1306 elementor-widget elementor-widget-heading\" data-id=\"66d1306\" 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><h6 class=\"elementor-heading-title elementor-size-default\">NEWS<\/h6>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-5f73fd8 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5f73fd8\" data-element_type=\"section\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\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-inner-column elementor-element elementor-element-5f7d68b\" data-id=\"5f7d68b\" 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-6a42bfe elementor-arrows-position-outside elementor-pagination-position-outside elementor-widget elementor-widget-image-carousel\" data-id=\"6a42bfe\" data-element_type=\"widget\" data-settings=\"{&quot;slides_to_show&quot;:&quot;1&quot;,&quot;speed&quot;:409,&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;}\" 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 swiper-image-stretch\">\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=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-4-570x350.jpeg\" alt=\"640 (4)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-4-570x350.webp\" alt=\"640 (4)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-5-570x350.webp\" alt=\"640 (5)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-3-570x350.webp\" alt=\"640 (3)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/\u622a\u5c4f2026-06-01-17.40.49-570x350.png\" alt=\"\u622a\u5c4f2026-06-01 17.40.49\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-2-570x350.webp\" alt=\"640 (2)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-1-570x350.webp\" alt=\"640 (1)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/640-570x350.webp\" alt=\"640\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/640-1-e1767093121544-570x350.png\" alt=\"640\" \/><\/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<div class=\"elementor-element elementor-element-5bffce7 elementor-widget elementor-widget-text-editor\" data-id=\"5bffce7\" 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<ul><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1175\/126672.htm\">2026\u5168\u56fd\u6570\u7406\u903b\u8f91\u5e74\u4f1a\u5728\u6e05\u534e\u5927\u5b66\u4e3e\u884c<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/WvvY3cfMDb-2nmwKHnEIRQ\">\u9762\u5411\u903b\u8f91\u4e00\u81f4\u6027\u7684 LLM \u8bc4\u6d4b\u65b0\u6846\u67b6\uff1aLogiConBench \u5728 ICLR \u5c55\u793a<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/i8U7MURisdFyHqtbAYCPGg\">\u8ba9AI\u5f00\u59cb\u201c\u5f00\u4f1a\u4e89\u8bba\u201d\uff1aMAD-Logic\u5e26\u6765\u903b\u8f91\u63a8\u7406\u65b0\u7a81\u7834<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/Jghya7fGzXZIp7p9jCbUgA\">\u7b2c\u5341\u56db\u5c4aICLR\u4eba\u5de5\u667a\u80fd\u4f1a\u8bae\u201c\u5927\u6a21\u578b\u7684\u903b\u8f91\u63a8\u7406\u201d\u7814\u8ba8\u4f1a\u5728\u91cc\u7ea6\u70ed\u5185\u5362\u6210\u529f\u4e3e\u529e<\/a><\/li><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1182\/125347.htm\">\u7b2c\u4e94\u5c4a\u6e05\u534e\u5927\u5b66\u201c\u903b\u8f91\u3001\u8bed\u8a00\u4e0e\u610f\u4e49\u201d\u4ea4\u53c9\u5b66\u79d1\u56fd\u9645\u7814\u8ba8\u4f1a\u4e3e\u884c<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/WtS9q1nUxYpUWa_wYr0sIw\">\u4e2d\u56fd\u4eba\u5de5\u667a\u80fd\u5b66\u4f1a\u4eba\u5de5\u667a\u80fd\u903b\u8f91\u4e13\u59d4\u4f1a\u4e3b\u4efb\u9648\u4eea\u9999\u6559\u6388\u5e94\u9080\u8bbf\u95ee\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u5e76\u62a5\u544a<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/4ajI21AUyJzKxORXKI4fVA\">\u7b2c\u56db\u5341\u5c4aAAAI\u4eba\u5de5\u667a\u80fd\u4f1a\u8bae\u201c\u8bed\u8a00\u6a21\u578b\u4e2d\u7684\u903b\u8f91\u4e0e\u7b26\u53f7\u63a8\u7406\u201d\u8054\u5408\u4f1a\u8bae\u5728\u65b0\u52a0\u5761\u6210\u529f\u4e3e\u529e<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/v01DR7hRWi5n3l-rLomT5g\">\u5218\u594b\u8363\u6559\u6388\u79d1\u666e\u65b0\u4f5c\u300a\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u7406\u903b\u8f91\u300b\u7531\u5317\u4eac\u79d1\u5b66\u6280\u672f\u51fa\u7248\u793e\u51fa\u7248<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/si3sDG2pOhjC1B3pO2J5aQ\">\u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u4e00\u9879\u53d1\u660e\u4e13\u5229\u83b7\u5f97\u6388\u6743<\/a><\/li><li style=\"list-style-type: none;\">\u00a0<\/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\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-588ed29\" data-id=\"588ed29\" 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-bc31867 elementor-widget elementor-widget-heading\" data-id=\"bc31867\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h6 class=\"elementor-heading-title elementor-size-default\">Regular Events<\/h6>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-39fc83a elementor-tabs-alignment-stretch elementor-tabs-view-horizontal elementor-widget elementor-widget-tabs\" data-id=\"39fc83a\" data-element_type=\"widget\" data-widget_type=\"tabs.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-tabs.elementor-tabs-view-vertical .elementor-tabs-wrapper{width:25%;-ms-flex-negative:0;flex-shrink:0}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active{border-right-style:none}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:before{height:999em;width:0;right:0;border-right-style:solid}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:before{top:0;-webkit-transform:translateY(-100%);-ms-transform:translateY(-100%);transform:translateY(-100%)}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:after{top:100%}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title{display:table-cell}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active{border-bottom-style:none}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:before{bottom:0;height:0;width:999em;border-bottom-style:solid}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:before{right:100%}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:after{left:100%}.elementor-widget-tabs .elementor-tab-content,.elementor-widget-tabs .elementor-tab-title,.elementor-widget-tabs .elementor-tab-title:after,.elementor-widget-tabs .elementor-tab-title:before,.elementor-widget-tabs .elementor-tabs-content-wrapper{border:1px #d4d4d4}.elementor-widget-tabs .elementor-tabs{text-align:left}.elementor-widget-tabs .elementor-tabs-wrapper{overflow:hidden}.elementor-widget-tabs .elementor-tab-title{cursor:pointer;outline:var(--focus-outline,none)}.elementor-widget-tabs .elementor-tab-desktop-title{position:relative;padding:20px 25px;font-weight:700;line-height:1;border:solid transparent}.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active{border-color:#d4d4d4}.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active:before{display:block;content:\"\";position:absolute}.elementor-widget-tabs .elementor-tab-mobile-title{padding:10px;cursor:pointer}.elementor-widget-tabs .elementor-tab-content{padding:20px;display:none}@media (max-width:767px){.elementor-tabs .elementor-tab-content,.elementor-tabs .elementor-tab-title{border-style:solid solid none}.elementor-tabs .elementor-tabs-wrapper{display:none}.elementor-tabs .elementor-tabs-content-wrapper{border-bottom-style:solid}.elementor-tabs .elementor-tab-content{padding:10px}}@media (min-width:768px){.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs{display:-webkit-box;display:-ms-flexbox;display:flex}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs-wrapper{-webkit-box-orient:vertical;-webkit-box-direction:normal;-ms-flex-direction:column;flex-direction:column}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs-content-wrapper{-webkit-box-flex:1;-ms-flex-positive:1;flex-grow:1;border-style:solid solid solid none}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-content{border-style:none solid solid}.elementor-widget-tabs.elementor-tabs-alignment-center .elementor-tabs-wrapper,.elementor-widget-tabs.elementor-tabs-alignment-end .elementor-tabs-wrapper,.elementor-widget-tabs.elementor-tabs-alignment-stretch .elementor-tabs-wrapper{display:-webkit-box;display:-ms-flexbox;display:flex}.elementor-widget-tabs.elementor-tabs-alignment-center .elementor-tabs-wrapper{-webkit-box-pack:center;-ms-flex-pack:center;justify-content:center}.elementor-widget-tabs.elementor-tabs-alignment-end .elementor-tabs-wrapper{-webkit-box-pack:end;-ms-flex-pack:end;justify-content:flex-end}.elementor-widget-tabs.elementor-tabs-alignment-stretch.elementor-tabs-view-horizontal .elementor-tab-title{width:100%}.elementor-widget-tabs.elementor-tabs-alignment-stretch.elementor-tabs-view-vertical .elementor-tab-title{height:100%}.elementor-tabs .elementor-tab-mobile-title{display:none}}<\/style>\t\t<div class=\"elementor-tabs\">\n\t\t\t<div class=\"elementor-tabs-wrapper\" role=\"tablist\" >\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6081\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"true\" data-tab=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"elementor-tab-content-6081\" aria-expanded=\"false\">Tsinghua Logic Salon<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6082\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6082\" aria-expanded=\"false\">Tsing Ch\u2019a Sessions<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6083\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6083\" aria-expanded=\"false\">Logic Reading Program<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t<div class=\"elementor-tabs-content-wrapper\" role=\"tablist\" aria-orientation=\"vertical\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"true\" data-tab=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"elementor-tab-content-6081\" aria-expanded=\"false\">Tsinghua Logic Salon<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6081\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6081\" tabindex=\"0\" hidden=\"false\"><p><strong>2026 May 28 14:00-15:30 Jana S. Ro\u0161ker (University of Ljubljana) Time and Agency: Sublating Conceptions of the Future in St Augustine and the Later Mohist Canon<\/strong><\/p><p>Our understanding of time, including the future, is grounded in a universal perception shared across cultures. However, the ways in which this universal perception is comprehended differ significantly, shaped by the linguistic structures of various languages and the broader culturally conditioned frameworks of reference they are part of. These differences in comprehension give rise to diverse models of the future, offering unique insights into alternative perspectives on the metaphysics of time and its relation to the philosophy of action. This paper explores these alternative perspectives through a comparative analysis of the Later Mohist view from ancient Chinese thought and St. Augustine\u2019s introspective framework, influential in Western philosophy&#8230;\u00a0 <a href=\"http:\/\/tsinghualogic.net\/JRC\/event-series\/thulogicsalon\/\">More&gt;&gt;<\/a><\/p><p><img decoding=\"async\" loading=\"lazy\" class=\" wp-image-6053 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085.jpeg\" alt=\"\" width=\"305\" height=\"169\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085.jpeg 900w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085-200x111.jpeg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085-768x427.jpeg 768w\" sizes=\"(max-width: 305px) 100vw, 305px\" \/><\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6082\" aria-expanded=\"false\">Tsing Ch\u2019a Sessions<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6082\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6082\" tabindex=\"0\" hidden=\"hidden\"><p><strong>2026 June 11 14:00-15:30 Haoxuan Luo (\u7f57\u660a\u8f69, Tsinghua University) General Fitting Models Based on Term Functions<\/strong><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">Unlike modal logic, which uses \\box\\phi to express that \\phi is known or necessary, justification logic uses t: \\phi to express that t is a reason or proof for \\phi. This talk focuses on term functions, which specify what each justification term can justify.<\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">I will first introduce the basic language, axiomatic calculus, and two semantic models: Mkrtychev models (M-models) and Fitting models (F-models). In my work, I will present a global logic for a set of term functions and a local logic for one fixed term function. Finally, I will discuss the global-local equivalence theorem and the strong completeness result.<\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/tsingcha\/\">More&gt;&gt;<\/a><\/p><p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone wp-image-6054 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086.jpeg\" alt=\"\" width=\"312\" height=\"173\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086.jpeg 900w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086-200x111.jpeg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086-768x427.jpeg 768w\" sizes=\"(max-width: 312px) 100vw, 312px\" \/><\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6083\" aria-expanded=\"false\">Logic Reading Program<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6083\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"3\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6083\" tabindex=\"0\" hidden=\"hidden\"><p><strong>2026 May 7 14:00-15:30 Xin Li (\u674e\u946b, Tsinghua University) Blok-Esakia\u5b9a\u7406<\/strong><\/p><p>\u672c\u671f\u8fdb\u9636\u8bfb\u4e66\u4f1a\u5c06\u4e8e 2026\u5e745\u67087\u65e5\uff08\u5468\u56db\uff0914:00-15:30 \u5728\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u4e2d\u5fc3\u4e3e\u884c\uff0c\u7531\u6e05\u534e\u5927\u5b66\u674e\u946b\u540c\u5b66\u62a5\u544a F. Wolter, M. Zakharyaschev \u7684\u6587\u7ae0 On the Blok-Esakia Theorem\uff0c\u4ecb\u7ecd Blok-Esakia \u5b9a\u7406\uff0c\u5c55\u793a Blok \u63d0\u51fa\u7684\u4ee3\u6570\u8bc1\u660e\uff1b\u5982\u6709\u65f6\u95f4\uff0c\u8fd8\u4f1a\u4ecb\u7ecd\u8be5\u5b9a\u7406\u5728\u76f4\u89c9\u4e3b\u4e49\u6a21\u6001\u903b\u8f91\u4e2d\u7684\u6269\u5c55\u3002<a href=\"https:\/\/tsinghualogic.net\/JRC\/logic-reading-program\/\">More&gt;&gt;<\/a><\/p><\/div>\n\t\t\t\t\t\t\t<\/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-3fef2c4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3fef2c4\" 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-325c181\" data-id=\"325c181\" 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-7907975 elementor-widget elementor-widget-spacer\" data-id=\"7907975\" 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-3f55600 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3f55600\" 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-50 elementor-top-column elementor-element elementor-element-7d8a5da\" data-id=\"7d8a5da\" 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-2983036 e-transform e-transform elementor-widget elementor-widget-text-editor\" data-id=\"2983036\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" 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><a href=\"http:\/\/tsinghualogic.net\/JRC\/people\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-151 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows.jpg\" alt=\"\" width=\"432\" height=\"270\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows.jpg 1200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows-200x125.jpg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows-400x250.jpg 400w\" sizes=\"(max-width: 432px) 100vw, 432px\" \/><\/a><\/p><h6 style=\"text-align: center;\">people<\/h6>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c263d03 e-transform elementor-widget elementor-widget-text-editor\" data-id=\"c263d03\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" 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 style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/education\/\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone wp-image-1107\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239.jpg\" alt=\"\" width=\"427\" height=\"285\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239.jpg 1616w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239-200x133.jpg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239-400x267.jpg 400w\" sizes=\"(max-width: 427px) 100vw, 427px\" \/><\/a><\/p><p style=\"text-align: center;\"><span style=\"font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: 0.9em; color: #777777; letter-spacing: 2px; text-transform: uppercase;\">education<\/span><\/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<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-ae907b7\" data-id=\"ae907b7\" 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-13b3712 e-transform elementor-widget elementor-widget-text-editor\" data-id=\"13b3712\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:0,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" 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><a href=\"http:\/\/tsinghualogic.net\/JRC\/research-2\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-5750 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7.jpeg\" alt=\"\" width=\"442\" height=\"272\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7.jpeg 650w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7-200x123.jpeg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7-570x350.jpeg 570w\" sizes=\"(max-width: 442px) 100vw, 442px\" \/><\/a><\/p><h6 style=\"text-align: center;\">Research<\/h6>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d35639b e-transform elementor-widget elementor-widget-text-editor\" data-id=\"d35639b\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h6 style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/event-series\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-5672 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2.jpeg\" alt=\"\" width=\"432\" height=\"288\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2.jpeg 786w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2-200x133.jpeg 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2-768x512.jpeg 768w\" sizes=\"(max-width: 432px) 100vw, 432px\" \/><\/a><span style=\"font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: 0.9em;\">events<\/span><\/h6>\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>NEWS \u4e0a\u4e00\u9875 \u4e0b\u4e00\u9875 2026\u5168\u56fd\u6570\u7406\u903b\u8f91\u5e74\u4f1a\u5728\u6e05\u534e\u5927\u5b66\u4e3e\u884c \u9762\u5411\u903b\u8f91\u4e00\u81f4\u6027\u7684 LLM \u8bc4\u6d4b\u65b0\u6846\u67b6\uff1aLog [&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\/6026"}],"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=6026"}],"version-history":[{"count":310,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026\/revisions"}],"predecessor-version":[{"id":10493,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026\/revisions\/10493"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=6026"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}