{"id":3812,"date":"2021-12-06T22:04:32","date_gmt":"2021-12-06T14:04:32","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=3812"},"modified":"2026-02-12T21:21:54","modified_gmt":"2026-02-12T13:21:54","slug":"tsinghua-logic-blog","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/tsinghua-logic-blog\/","title":{"rendered":"Tsinghua Logic Blog"},"content":{"rendered":"\n<div class=\"is-layout-flex wp-container-7 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:100%\">\n<div class=\"is-layout-flex wp-container-5 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:100%\">\n<div class=\"is-layout-flex wp-container-3 wp-block-columns are-vertically-aligned-center\">\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<figure class=\"wp-block-image size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/blog-1.png\" alt=\"\" class=\"wp-image-3859\" width=\"365\" height=\"647\"\/><\/figure>\n\n\n\n<p><\/p>\n<\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<p>\u6e05\u534e\u903b\u8f91\u968f\u7b14 (Tsinghua Logic Blog) \u662f\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u5b66\u751f\u548c\u8001\u5e08\u5171\u540c\u521b\u529e\u7684\u680f\u76ee\uff0c<strong>\u680f\u76ee\u7f16\u8f91<\/strong>\u4e3a\u53f6\u51cc\u8fdc\uff0c\u8054\u7cfb\u90ae\u7bb1\uff1a<a href=\"mailto:ye.lingyuan.ac@gmail.com\">ye.lingyuan.ac@gmail.com<\/a>.<\/p>\n\n\n\n<p>\u5176\u4e0a\u4f1a\u4e0d\u5b9a\u671f\u4ee5\u968f\u7b14\u7684\u5f62\u5f0f\u520a\u767b\u540c\u5b66\u6216\u8001\u5e08\u8fd1\u671f\u5bf9\u903b\u8f91\u76f8\u5173\u5b66\u672f\u5185\u5bb9\u7684\u6240\u95fb\u6240\u60f3\u3002\u8fd9\u4e2a\u680f\u76ee\u5e0c\u671b\u63d0\u4f9b\u4e00\u4e2a\u5b66\u672f\u53d1\u8868\u4e4b\u5916\u975e\u6b63\u5f0f\u7684\u5e73\u53f0\uff0c\u4fc3\u8fdb\u5927\u5bb6\u8fdb\u4e00\u6b65\u7684\u5b66\u4e60\u548c\u4ea4\u6d41\u3002\u672a\u7ecf\u4f5c\u8005\u540c\u610f\uff0c\u7981\u6b62\u4f7f\u7528\u4efb\u4f55\u5f62\u5f0f\u8f6c\u8f7d\u6216\u53d1\u8868\u968f\u7b14\u4e2d\u7684\u5185\u5bb9\u3002\u520a\u767b\u7684\u6587\u7ae0\u96be\u514d\u6709\u758f\u6f0f\u4e4b\u5904\uff0c\u6b22\u8fce\u5927\u5bb6\u8fdb\u4e00\u6b65\u8ba8\u8bba\u4ea4\u6d41\u548c\u6279\u8bc4\u6307\u6b63\uff0c\u5f62\u6210\u826f\u597d\u7684\u5b66\u672f\u4ea4\u6d41\u73af\u5883\uff01<\/p>\n\n\n\n<p><strong>\u5982\u4f55\u5f15\u7528\uff08How to Cite\uff09\uff1f<\/strong>\u82e5\u8bfb\u8005\u5e0c\u671b\u5f15\u7528\u968f\u7b14\u4e2d\u7684\u5185\u5bb9\u6216\u89c2\u70b9\uff0c\u8bf7\u91c7\u7528\u5982\u4e0b\u7684\u6587\u732e\u5f15\u7528\u683c\u5f0f\uff1a<br><br>[\u4f5c\u8005]\uff0c\u6e05\u534e\u903b\u8f91\u968f\u7b14\uff0c[\u9898\u76ee]\uff0c[\u65e5\u671f]\uff0c\u7f51\u5740 http:\/\/tsinghualogic.net\/JRC\/?page_id=3812\u3002<\/p>\n\n\n\n<p>\u793a\u4f8b\uff1a\u53f6\u51cc\u8fdc\uff0c\u6e05\u534e\u903b\u8f91\u968f\u7b14\uff0c\u8303\u7574\u903b\u8f91 I\u2014\u2014\u903b\u8f91\u4e0e\u6570\u5b66\u7ed3\u6784\u7684\u5bf9\u5e94\uff0c2021.12.07\uff0c\u7f51\u5740\uff1ahttp:\/\/tsinghualogic.net\/JRC\/?page_id=3812<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n<div style=\"height:36px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<hr class=\"wp-block-separator has-text-color has-black-color has-css-opacity has-black-background-color has-background is-style-wide\"\/>\n\n\n\n<div class=\"is-layout-flex wp-container-10 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/Image_20260210152024_30_226-edited-1-scaled.jpg\" alt=\"\" class=\"wp-image-9228\" width=\"222\" height=\"222\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/Image_20260210152024_30_226-edited-1-scaled.jpg 2560w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/Image_20260210152024_30_226-edited-1-200x200.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/Image_20260210152024_30_226-edited-1-80x80.jpg 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/Image_20260210152024_30_226-edited-1-768x768.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/Image_20260210152024_30_226-edited-1-1536x1536.jpg 1536w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/Image_20260210152024_30_226-edited-1-2048x2048.jpg 2048w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/Image_20260210152024_30_226-edited-1-510x510.jpg 510w\" sizes=\"(max-width: 222px) 100vw, 222px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c31\u671f 2026-10-14<\/h4>\n\n\n\n<p>\u738b\u5955\u5ca9\uff1a<a href=\"https:\/\/mp.weixin.qq.com\/s\/8ZGAORhkyscuYND3FoUEKw\">\u4e2a\u4f53\u4f55\u4ee5\u4e3a\u201c\u6211\u201d\uff1f\u2014\u2014\u5218\u594b\u8363\u4e0e\u7ea6\u7ff0\u00b7\u4f69\u91cc\u5bf9\u8c08<\/a><br>Email: <a href=\"mailto:yiyan.w@sxu.edu.cn\">yiyan.w@sxu.edu.cn<\/a><\/p>\n\n\n\n<p class=\"has-cyan-bluish-gray-color has-text-color has-small-font-size\">*\u539f\u6587\u53d1\u8868\u4e8e\u300a\u54f2\u5b66\u5206\u6790\u300b2026 \u7b2c 95 \u671f\u300a\u8bbf\u8c08\u4e0e\u968f\u7b14\u300b\u680f\u76ee<\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-13 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/file.jpeg\" alt=\"\" class=\"wp-image-9224\" width=\"220\" height=\"220\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/file.jpeg 400w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/file-200x200.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/02\/file-80x80.jpeg 80w\" sizes=\"(max-width: 220px) 100vw, 220px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c30\u671f 2025-10-14<\/h4>\n\n\n\n<p>\u674e\u946b\uff1a<a href=\"https:\/\/mp.weixin.qq.com\/s\/4R_aGQfnzdWRBsIXTu3hwA\">2025\u5e74\u91d1\u5cb3\u9716\u5b66\u672f\u8bb2\u5ea7\u7efc\u8ff0<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-16 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/05\/1697798910850-edited.png\" alt=\"\" class=\"wp-image-8010\" width=\"219\" height=\"219\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/05\/1697798910850-edited.png 720w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/05\/1697798910850-edited-200x200.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/05\/1697798910850-edited-80x80.png 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/05\/1697798910850-edited-510x510.png 510w\" sizes=\"(max-width: 219px) 100vw, 219px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c29\u671f 2025-04-29<\/h4>\n\n\n\n<p><strong>\u9ec4\u715c\u9f99<\/strong>\uff1a<a href=\"https:\/\/mp.weixin.qq.com\/s\/ZeZMlQk9w2IOq0j_wcqcZg\">\u4f69\u5c14\u00b7\u9a6c\u4e01-\u6d1b\u592b\uff1a\u6784\u9020\u5f0f\u6570\u5b66\u4e0e\u8ba1\u7b97\u673a\u7f16\u7a0b<\/a><br>Email\uff1a<a href=\"mailto:yh419@cam.ac.uk\">yh419@cam.ac.uk<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-19 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/1t3hdaziHXHF5RqNzUzI_Og.png\" alt=\"\" class=\"wp-image-7439\" width=\"219\" height=\"219\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/1t3hdaziHXHF5RqNzUzI_Og.png 1024w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/1t3hdaziHXHF5RqNzUzI_Og-200x200.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/1t3hdaziHXHF5RqNzUzI_Og-80x80.png 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/1t3hdaziHXHF5RqNzUzI_Og-768x768.png 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/1t3hdaziHXHF5RqNzUzI_Og-510x510.png 510w\" sizes=\"(max-width: 219px) 100vw, 219px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c28\u671f 2024-06-24<\/h4>\n\n\n\n<p>\u5218\u594b\u8363\u3001\u674e\u5927\u67f1\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/2023-\u5218\u594b\u8363-\u674e\u5927\u67f1-\u793e\u4f1a\u7f51\u7edc\u903b\u8f91\u5728\u4e2d\u56fd\u7684\u5341\u5e74\u7b80\u53f2.pdf\">\u793e\u4f1a\u7f51\u7edc\u903b\u8f91\u5728\u4e2d\u56fd\u7684\u5341\u5e74\u7b80\u53f2<\/a><br>Email\uff1a<a href=\"mailto:lidazhu91@163.com\">lidazhu91@163.com<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-22 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/Pg7_Bookcover_hottTitle_0.png\" alt=\"\" class=\"wp-image-7438\" width=\"250\" height=\"228\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/Pg7_Bookcover_hottTitle_0.png 549w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/06\/Pg7_Bookcover_hottTitle_0-200x183.png 200w\" sizes=\"(max-width: 250px) 100vw, 250px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c27\u671f 2024-04-27<\/h4>\n\n\n\n<p>\u53f6\u51cc\u8fdc\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/04\/\u76f8\u7b49.pdf\">\u4f55\u4e3a\u76f8\u7b49\uff1f<\/a><br>Email\uff1a<a href=\"mailto:huangysh@mail.tsinghua.edu.cn\">ye.lingyuan.ac@gmail.com<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-25 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/03\/rGBrwgUezW-edited.jpg\" alt=\"\" class=\"wp-image-7077\" width=\"220\" height=\"220\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/03\/rGBrwgUezW-edited.jpg 800w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/03\/rGBrwgUezW-edited-200x200.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/03\/rGBrwgUezW-edited-80x80.jpg 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/03\/rGBrwgUezW-edited-768x768.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/03\/rGBrwgUezW-edited-510x510.jpg 510w\" sizes=\"(max-width: 220px) 100vw, 220px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c26\u671f 2024-02-18<\/h4>\n\n\n\n<p>\u9ec4\u88d5\u751f\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/02\/\u903b\u8f91\u662f\u9884\u9632\u611a\u8822\u75c5\u7684\u4e00\u9053\u514d\u75ab\u7cfb\u7edf.pdf\">\u903b\u8f91\u662f\u9884\u9632\u611a\u8822\u75c5\u7684\u4e00\u9053\u514d\u75ab\u7cfb\u7edf<\/a><br>Email\uff1a<a href=\"mailto:huangysh@mail.tsinghua.edu.cn\">huangysh@mail.tsinghua.edu.cn<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-28 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/11\/engineering-mathematics-and-computational-science_524622682-edited.png\" alt=\"\" class=\"wp-image-6809\" width=\"220\" height=\"220\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/11\/engineering-mathematics-and-computational-science_524622682-edited.png 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/11\/engineering-mathematics-and-computational-science_524622682-edited-200x200.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/11\/engineering-mathematics-and-computational-science_524622682-edited-80x80.png 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/11\/engineering-mathematics-and-computational-science_524622682-edited-768x768.png 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/11\/engineering-mathematics-and-computational-science_524622682-edited-510x510.png 510w\" sizes=\"(max-width: 220px) 100vw, 220px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c25\u671f 2023-11-29<\/h4>\n\n\n\n<p>\u6469\u897f\u00b7\u74e6\u8fea\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/11\/\u6570\u5b66\u4e0e\u8ba1\u7b97\uff0c\u5b70\u5148\uff1f.pdf\">\u6570\u5b66\u4e0e\u8ba1\u7b97\uff0c\u5b70\u5148<\/a>\uff1f<br>Email\uff1a<a href=\"mailto:vardi@cs.rice.edu\">vardi@cs.rice.edu<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-31 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/10\/Brain_backdoor_2880x1620_Lede-edited.jpg\" alt=\"\" class=\"wp-image-6602\" width=\"222\" height=\"222\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/10\/Brain_backdoor_2880x1620_Lede-edited.jpg 1620w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/10\/Brain_backdoor_2880x1620_Lede-edited-200x200.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/10\/Brain_backdoor_2880x1620_Lede-edited-80x80.jpg 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/10\/Brain_backdoor_2880x1620_Lede-edited-768x768.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/10\/Brain_backdoor_2880x1620_Lede-edited-1536x1536.jpg 1536w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/10\/Brain_backdoor_2880x1620_Lede-edited-510x510.jpg 510w\" sizes=\"(max-width: 222px) 100vw, 222px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c24\u671f 2023-10-31<\/h4>\n\n\n\n<p>\u8303\u4e19\u7533\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/10\/\u903b\u8f91\u662f\u5fc3\u667a\u7684\u514d\u75ab\u7cfb\u7edf.pdf\">\u903b\u8f91\u662f\u5fc3\u667a\u7684\u514d\u75ab\u7cfb\u7edf<\/a><br>Email\uff1a<a href=\"mailto:j.vanbenthem@uva.nl\">j.vanbenthem@uva.nl<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-34 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/s-l500-edited-1.jpg\" alt=\"\" class=\"wp-image-6405\" width=\"223\" height=\"223\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/s-l500-edited-1.jpg 174w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/s-l500-edited-1-80x80.jpg 80w\" sizes=\"(max-width: 223px) 100vw, 223px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c23\u671f 2023-08-03<\/h4>\n\n\n\n<p>\u5c39\u660a\u8431\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u7f16\u7a0b\u8bed\u8a00\u7684\u535a\u5f08\u8bed\u4e49.pdf\">\u7f16\u7a0b\u8bed\u8a00\u7684\u535a\u5f08\u8bed\u4e49<\/a><br>Email\uff1a<a href=\"mailto:haoxuan.yin@merton.ox.ac.uk\">haoxuan.yin@merton.ox.ac.uk<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-37 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/stokhof_knaw2_el-edited.jpg\" alt=\"\" class=\"wp-image-6092\" width=\"214\" height=\"214\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/stokhof_knaw2_el-edited.jpg 741w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/stokhof_knaw2_el-edited-200x200.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/stokhof_knaw2_el-edited-80x80.jpg 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/stokhof_knaw2_el-edited-510x510.jpg 510w\" sizes=\"(max-width: 214px) 100vw, 214px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c22\u671f 2023-05-25<\/h4>\n\n\n\n<p>\u8303\u4e19\u7533\uff08Johan van Benthem\uff09\uff1a<a href=\"https:\/\/mp.weixin.qq.com\/s\/wMT_J4I5DJslr9QAf1rT-g\">\u4e09\u4e2a\u7eac\u5ea6\u4e0b\u7684\u53f8\u9a6c\u4ead<\/a><br>Email\uff1a<a href=\"mailto:j.vanbenthem@uva.nl\">j.vanbenthem@uva.nl<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-40 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/04\/Wittgenstein1920.jpg\" alt=\"\" class=\"wp-image-5646\" width=\"210\" height=\"195\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/04\/Wittgenstein1920.jpg 640w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/04\/Wittgenstein1920-200x187.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/04\/Wittgenstein1920-270x250.jpg 270w\" sizes=\"(max-width: 210px) 100vw, 210px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c21\u671f 2023-04-24<\/h4>\n\n\n\n<p>\u53f8\u9a6c\u4ead\uff08Martin Stokhof)\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/04\/\u5f62\u5f0f\u8bed\u4e49\u5b66\u4e0e\u7ef4\u7279\u6839\u65af\u5766.pdf\">\u5f62\u5f0f\u8bed\u4e49\u5b66\u4e0e\u7ef4\u7279\u6839\u65af\u5766<\/a><br>Email\uff1a<a href=\"mailto:m.j.b.stokhof@uva.nl\">m.j.b.stokhof@uva.nl<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-43 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/03\/The-semantic-game-for-xyz-xxzdocumentclass12ptminimal-usepackageamsmath.gif.png\" alt=\"\" class=\"wp-image-5475\" width=\"214\" height=\"118\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/03\/The-semantic-game-for-xyz-xxzdocumentclass12ptminimal-usepackageamsmath.gif.png 553w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/03\/The-semantic-game-for-xyz-xxzdocumentclass12ptminimal-usepackageamsmath.gif-200x111.png 200w\" sizes=\"(max-width: 214px) 100vw, 214px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c20\u671f 2023-04-08<\/h4>\n\n\n\n<p>\u7f57\u751f\u95e8\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/04\/\u7528\u6e38\u620f\u89e3\u91ca\u8bed\u8a00.pdf\">\u7528\u6e38\u620f\u89e3\u91ca\u8bed\u8a00<\/a><br>Email\uff1a<a href=\"mailto:luosm19@mails.tsinghua.edu.cn\">luosm19@mails.tsinghua.edu.cn<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-46 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/02\/MicrosoftTeams-image-19-2-ok.jpg\" alt=\"\" class=\"wp-image-5401\" width=\"208\" height=\"208\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/02\/MicrosoftTeams-image-19-2-ok.jpg 390w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/02\/MicrosoftTeams-image-19-2-ok-200x200.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/02\/MicrosoftTeams-image-19-2-ok-80x80.jpg 80w\" sizes=\"(max-width: 208px) 100vw, 208px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c19\u671f 2023-02-01<\/h4>\n\n\n\n<p>\u9676\u5146\u5dcd\uff1a<a href=\"https:\/\/mp.weixin.qq.com\/s\/t-rmnA0r4OUHZRYU6Jh_5w\">\u738b\u6d69\u7684\u6570\u5b66\u6e38\u620f<\/a><\/p>\n\n\n\n<p class=\"has-cyan-bluish-gray-color has-text-color has-small-font-size\">*\u672c\u6587\u8f6c\u8f7d\u81ea\u516c\u4f17\u53f7\u201c\u73af\u7403\u79d1\u5b66\u201d<\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-49 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/01\/d62a6059252dd42ac2c55289013b5bb5c8eab8c0-1.jpeg\" alt=\"\" class=\"wp-image-5393\" width=\"208\" height=\"208\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/01\/d62a6059252dd42ac2c55289013b5bb5c8eab8c0-1.jpeg 447w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/01\/d62a6059252dd42ac2c55289013b5bb5c8eab8c0-1-200x200.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/01\/d62a6059252dd42ac2c55289013b5bb5c8eab8c0-1-80x80.jpeg 80w\" sizes=\"(max-width: 208px) 100vw, 208px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c18\u671f 2023-01-17<\/h4>\n\n\n\n<p>\u51af\u7426\uff1a <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/01\/\u300a\u903b\u8f91\u4e0e\u53d1\u73b0\u300b-\u5e8f\u8a00-\u76ee\u5f55-\u540e\u8bb0-\u5c01\u76ae.pdf\">\u903b\u8f91\u4e0e\u53d1\u73b0\uff1a\u5e8f\u8a00<\/a><br>Email\uff1a<a href=\"mailto:qifeng@math.ac.cn\">qifeng@math.ac.cn<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-52 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/12\/DALL\u00b7E-2022-12-29-11.55.34-multi-modality-in-the-style-of-van-Gogh.png\" alt=\"\" class=\"wp-image-5386\" width=\"202\" height=\"202\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/12\/DALL\u00b7E-2022-12-29-11.55.34-multi-modality-in-the-style-of-van-Gogh.png 1024w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/12\/DALL\u00b7E-2022-12-29-11.55.34-multi-modality-in-the-style-of-van-Gogh-200x200.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/12\/DALL\u00b7E-2022-12-29-11.55.34-multi-modality-in-the-style-of-van-Gogh-80x80.png 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/12\/DALL\u00b7E-2022-12-29-11.55.34-multi-modality-in-the-style-of-van-Gogh-768x768.png 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/12\/DALL\u00b7E-2022-12-29-11.55.34-multi-modality-in-the-style-of-van-Gogh-510x510.png 510w\" sizes=\"(max-width: 202px) 100vw, 202px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c17\u671f 2022-12-29<\/h4>\n\n\n\n<p>\u9648\u8c26\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/12\/T1229.pdf\">\u591a\u6a21\u6001\u903b\u8f91\u4e2d\u6a21\u6001\u7b97\u5b50\u7684\u4ea4\u4e92\u73b0\u8c61<\/a><br>Email\uff1a<a href=\"mailto:chenq21@mails.tsinghua.edu.cn\">chenq21@mails.tsinghua.edu.cn<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-55 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/R-C.6fe132fa1f7cc043fd94ef3416a11736-edited-1.jpeg\" alt=\"\" class=\"wp-image-5141\" width=\"200\" height=\"200\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/R-C.6fe132fa1f7cc043fd94ef3416a11736-edited-1.jpeg 328w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/R-C.6fe132fa1f7cc043fd94ef3416a11736-edited-1-200x200.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/R-C.6fe132fa1f7cc043fd94ef3416a11736-edited-1-80x80.jpeg 80w\" sizes=\"(max-width: 200px) 100vw, 200px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c16\u671f 2022-08-23<\/h4>\n\n\n\n<p>\u9648\u65b0\u5b87\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/\u91d1\u5cb3\u9716\u7684\u6cd5\u653f\u5370\u8bb0.pdf\">\u91d1\u5cb3\u9716\u7684\u6cd5\u653f\u5370\u8bb0<\/a><\/p>\n\n\n\n<p class=\"has-cyan-bluish-gray-color has-text-color has-small-font-size\">*\u672c\u6587\u539f\u53d1\u8868\u4e8e\u300a\u6cd5\u6cbb\u5468\u672b\u300b<\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-58 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/40b687bf3cd745669e4c22914c71ac8b-edited.jpeg\" alt=\"\" class=\"wp-image-5055\" width=\"201\" height=\"194\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/40b687bf3cd745669e4c22914c71ac8b-edited.jpeg 443w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/40b687bf3cd745669e4c22914c71ac8b-edited-200x192.jpeg 200w\" sizes=\"(max-width: 201px) 100vw, 201px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c15\u671f 2022-08-11<\/h4>\n\n\n\n<p>\u53f8\u9a6c\u4ead\uff08Martin Stokhof\uff09\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/08\/\u8d70\u5411\u610f\u4e49.pdf\">\u6ca1\u6709\u5e0c\u671b\u4e0e\u6050\u60e7\u7684\u751f\u6d3b<\/a><br>Email\uff1a<a href=\"mailto:m.j.b.stokhof@uva.nl\">m.j.b.stokhof@uva.nl<\/a><\/p>\n\n\n\n<p class=\"has-cyan-bluish-gray-color has-text-color has-small-font-size\">*\u672c\u6587\u8282\u9009\u81ea\u53f8\u9a6c\u4ead\u6559\u6388\u7684\u65b0\u4e66\uff1a\u300a\u8d70\u5411\u610f\u4e49\uff1a\u5f62\u5f0f\u8bed\u4e49\u5b66\u4e0e\u7ef4\u7279\u6839\u65af\u5766\u300b<\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-61 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/07\/R-C.803f41edef524cf8d5137d1331fc3180-edited.jpeg\" alt=\"\" class=\"wp-image-5050\" width=\"194\" height=\"190\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/07\/R-C.803f41edef524cf8d5137d1331fc3180-edited.jpeg 985w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/07\/R-C.803f41edef524cf8d5137d1331fc3180-edited-200x195.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/07\/R-C.803f41edef524cf8d5137d1331fc3180-edited-768x749.jpeg 768w\" sizes=\"(max-width: 194px) 100vw, 194px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c14\u671f 2022-07-20<\/h4>\n\n\n\n<p>\u53f6\u51cc\u8fdc\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/07\/Banach-Tarski-\u6096\u8bba.pdf\">Banach-Tarski \u6096\u8bba<\/a><br>Email\uff1a<a href=\"mailto:ye.lingyuan.ac@gmail.com\">ye.lingyuan.ac@gmail.com<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-64 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/894911DC2A2BB83D8224D4076E0_2BD80133_40C9.jpg\" alt=\"\" class=\"wp-image-4987\" width=\"190\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/894911DC2A2BB83D8224D4076E0_2BD80133_40C9.jpg 412w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/894911DC2A2BB83D8224D4076E0_2BD80133_40C9-189x200.jpg 189w\" sizes=\"(max-width: 412px) 100vw, 412px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c13\u671f 2022-06-21<\/h4>\n\n\n\n<p>\u5218\u57f9\u80b2\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/\u5c0a\u5e08\u656c\u4e1a\u7684\u738b\u5baa\u94a7\u5148\u751f.pdf\">\u5c0a\u5e08\u656c\u4e1a\u7684\u738b\u5baa\u94a7\u5148\u751f<\/a><\/p>\n\n\n\n<p class=\"has-cyan-bluish-gray-color has-text-color has-small-font-size\">*\u539f\u6587\u520a\u8f7d\u4e8e\u300a\u4e2d\u56fd\u793e\u4f1a\u79d1\u5b66\u62a5\u300b2017.02.06<\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-67 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image is-style-rounded\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/0.jpeg\" alt=\"\" class=\"wp-image-4978\" width=\"195\" height=\"195\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/0.jpeg 325w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/0-200x200.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/0-80x80.jpeg 80w\" sizes=\"(max-width: 195px) 100vw, 195px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c12\u671f 2022-06-02<\/h4>\n\n\n\n<p>Jan Vrhovski\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/WCT-TsinghuaBlogI-Jan-Vrhovski.pdf\">The &#8220;World Currents of Thought&#8221; &#8212;<em> Brief Glimpses into the Archives of Mathematical Logic at Tsinghua University<\/em> <\/a><br>Email\uff1a<a href=\"mailto:jan.vrhovski@ff.cuni.cz\">jan.vrhovski@ff.cuni.cz<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-70 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/05\/R-C.f93c3b33aa7d07115dc1faaa78b21dbb-edited.jpeg\" alt=\"\" class=\"wp-image-4883\" width=\"190\" height=\"207\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/05\/R-C.f93c3b33aa7d07115dc1faaa78b21dbb-edited.jpeg 772w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/05\/R-C.f93c3b33aa7d07115dc1faaa78b21dbb-edited-184x200.jpeg 184w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/05\/R-C.f93c3b33aa7d07115dc1faaa78b21dbb-edited-768x837.jpeg 768w\" sizes=\"(max-width: 190px) 100vw, 190px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c11\u671f 2022-05-11<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u90a2\u6ed4\u6ed4\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/05\/\u738b\u6d69\u5148\u751f\u6742\u5fc6.pdf\">\u738b\u6d69\u5148\u751f\u6742\u5fc6<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-73 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/05\/01584e5e50d7d7a80120a8953e2858.gif\" alt=\"\" class=\"wp-image-4876\" width=\"212\" height=\"212\"\/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c10\u671f 2022-05-09<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u5f20\u5bb6\u9f99\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/05\/\u5f20\u5bb6\u9f99\u5728\u6e05\u534e\u903b\u8f91\u5b66\u6d3e\u7684\u4f20\u627f\u6821\u5e86\u4e13\u9898\u7814\u8ba8\u4f1a\u4e0a\u7684\u8bb2\u8bdd.pdf\">\u6e05\u534e\u903b\u8f91\u5b66\u6d3e\u7684\u5b66\u98ce<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-76 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.bbd6ba4ef74fc31b3f772472ec205529-edited-1.jpeg\" alt=\"\" class=\"wp-image-4979\" width=\"220\" height=\"220\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.bbd6ba4ef74fc31b3f772472ec205529-edited-1.jpeg 939w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.bbd6ba4ef74fc31b3f772472ec205529-edited-1-200x200.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.bbd6ba4ef74fc31b3f772472ec205529-edited-1-80x80.jpeg 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.bbd6ba4ef74fc31b3f772472ec205529-edited-1-768x768.jpeg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.bbd6ba4ef74fc31b3f772472ec205529-edited-1-510x510.jpeg 510w\" sizes=\"(max-width: 220px) 100vw, 220px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c9\u671f 2022-05-02<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u7f8a\u6da4\u751f\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/05\/0418\u5173\u4e8e\u6e05\u534e\u5b66\u6d3e\u8fdb\u4e00\u6b65\u53d1\u5c55\u7684\u601d\u8003\u548c\u5efa\u8bae.pdf\">\u5173\u4e8e\u6e05\u534e\u5b66\u6d3e\u8fdb\u4e00\u6b65\u53d1\u5c55\u7684\u601d\u8003\u548c\u5efa\u8bae<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-79 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.1a7f4ecddef680f36532098973a1febe-edited-1.jpeg\" alt=\"\" class=\"wp-image-4980\" width=\"207\" height=\"207\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.1a7f4ecddef680f36532098973a1febe-edited-1.jpeg 536w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.1a7f4ecddef680f36532098973a1febe-edited-1-200x200.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.1a7f4ecddef680f36532098973a1febe-edited-1-80x80.jpeg 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/06\/R-C.1a7f4ecddef680f36532098973a1febe-edited-1-510x510.jpeg 510w\" sizes=\"(max-width: 207px) 100vw, 207px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c8\u671f 2022-03-30<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u6842\u6d77\u658c\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/test.pdf\">\u91d1\u5cb3\u9716\u5bf9\u6000\u7591\u8bba\u7684\u56de\u5e94\u2014\u2014\u2014 \u4ece\u201c\u4e8b\u201d\u548c\u201c\u7406\u201d\u4e24\u4e2a\u89d2\u5ea6\u770b<\/a><br>Email\uff1a<a href=\"mailto:ghlj442455@163.com\">ghlj442455@163.com<\/a><\/p>\n\n\n\n<p class=\"has-cyan-bluish-gray-color has-text-color has-small-font-size\">*\u539f\u6587\u520a\u8f7d\u4e8e\u300a\u81ea\u7136\u8fa9\u8bc1\u6cd5\u7814\u7a76\u300b2022\u5e74\u7b2c\u4e09\u671f<\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-82 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/Sxu_logo.png\" alt=\"\" class=\"wp-image-4279\" width=\"202\" height=\"202\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/Sxu_logo.png 316w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/Sxu_logo-200x200.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/Sxu_logo-80x80.png 80w\" sizes=\"(max-width: 202px) 100vw, 202px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c7\u671f 2022-03-02<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u5218\u594b\u8363\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/\u5c71\u897f\u5927\u5b66\u54f2\u5b66\u7cfb\u4f18\u79c0\u6821\u53cb-\u5218\u594b\u8363.pdf\">\u5199\u5728\u6bcd\u6821\u5c71\u897f\u5927\u5b66 120 \u5468\u5e74\u534e\u8bde\u4e4b\u9645<\/a><br>Email\uff1a<a href=\"mailto:fenronguva@gmail.com\">fenronguva@gmail.com<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-85 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/02\/Screenshot-2022-02-13-at-18.21.43-edited.png\" alt=\"\" class=\"wp-image-4199\" width=\"197\" height=\"195\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/02\/Screenshot-2022-02-13-at-18.21.43-edited-80x80.png 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/02\/Screenshot-2022-02-13-at-18.21.43-edited-768x766.png 768w\" sizes=\"(max-width: 197px) 100vw, 197px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c6\u671f 2022-02-13<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u8303\u4e19\u7533\uff08Johan van Benthem\uff09\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/02\/2020.Rixin-Johan-van-Benthem.pdf\">\u57fa\u7840\u3001\u5e94\u7528\u4e0e\u6839\u672c\u6027\u601d\u7ef4<\/a><br>Email\uff1a<a href=\"mailto:j.vanbenthem@uva.nl\">j.vanbenthem@uva.nl<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-88 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/02\/ff20-izmihnt7352521.jpg\" alt=\"\" class=\"wp-image-4170\" width=\"199\" height=\"190\"\/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c5\u671f 2022-02-02<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u77f3\u8fb0\u5a01\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/02\/\u91d1\u5cb3\u9716\u54f2\u5b66\u4f55\u4e3a\uff08\u77f3\u8fb0\u5a01\uff09.pdf\">\u91d1\u5cb3\u9716\uff1a\u63a2\u7a76\u54f2\u5b66\u4f55\u4e3a\uff1f<\/a><br>Email\uff1a<a href=\"mailto:scw@mail.tsinghua.edu.cn\">scw@mail.tsinghua.edu.cn<\/a><\/p>\n\n\n\n<p class=\"has-cyan-bluish-gray-color has-text-color has-small-font-size\">*\u539f\u6587\u520a\u8f7d\u4e8e\u6e56\u5357\u4eba\u6587\u4e1b\u520a\u300a\u6e58\u6c34\u300b\u7b2c\u4e03\u8f91<\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-91 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/10560202-illustration-des-enfants-jouant-hide-and-seek-au-camp-edited.jpg\" alt=\"\" class=\"wp-image-4161\" width=\"203\" height=\"204\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/10560202-illustration-des-enfants-jouant-hide-and-seek-au-camp-edited.jpg 1121w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/10560202-illustration-des-enfants-jouant-hide-and-seek-au-camp-edited-200x200.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/10560202-illustration-des-enfants-jouant-hide-and-seek-au-camp-edited-80x80.jpg 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/10560202-illustration-des-enfants-jouant-hide-and-seek-au-camp-edited-768x772.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/10560202-illustration-des-enfants-jouant-hide-and-seek-au-camp-edited-510x510.jpg 510w\" sizes=\"(max-width: 203px) 100vw, 203px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c4\u671f 2022-01-29<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u6d82\u96c5\u6b23\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/logic_of_hide_and_seek.pdf\">\u6349\u8ff7\u85cf\u7684\u4e8c\u7ef4\u6a21\u6001\u903b\u8f91<\/a><br>Email\uff1a<a href=\"mailto:tuyx19@mails.tsinghua.edu.cn\">tuyx19@mails.tsinghua.edu.cn<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-94 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/Gospers_glider_gun.gif\" alt=\"\" class=\"wp-image-4147\" width=\"199\" height=\"143\"\/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c3\u671f 2022-01-23<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u5c39\u660a\u8431\uff1a<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/01\/\u81ea\u52a8\u7ed3\u6784new.pdf\">\u81ea\u52a8\u673a\u4e0e\u81ea\u52a8\u7ed3\u6784<\/a><br>Email\uff1a<a href=\"mailto:haoxn.yin@gmail.com\">haoxn.yin@gmail.com<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-97 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/DBF1346E-52E9-4E50-A2AE00214A8F37B2_source-copy-2.jpg\" alt=\"\" class=\"wp-image-3997\" width=\"201\" height=\"201\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/DBF1346E-52E9-4E50-A2AE00214A8F37B2_source-copy-2.jpg 1080w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/DBF1346E-52E9-4E50-A2AE00214A8F37B2_source-copy-2-200x200.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/DBF1346E-52E9-4E50-A2AE00214A8F37B2_source-copy-2-80x80.jpg 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/DBF1346E-52E9-4E50-A2AE00214A8F37B2_source-copy-2-768x768.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/DBF1346E-52E9-4E50-A2AE00214A8F37B2_source-copy-2-510x510.jpg 510w\" sizes=\"(max-width: 201px) 100vw, 201px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c2\u671f 2021-12-14<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u53f6\u51cc\u8fdc\uff1a<a rel=\"noreferrer noopener\" href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/\u8303\u7574\u903b\u8f91-II\u2014\u2014\u8bed\u5f62\u4e0e\u8bed\u4e49\u7684\u5bf9\u5076.pdf\" data-type=\"URL\" target=\"_blank\">\u8303\u7574\u903b\u8f91 II\u2014\u2014\u8bed\u5f62\u4e0e\u8bed\u4e49\u7684\u5bf9\u5076<\/a><br>Email\uff1a<a href=\"mailto:ye.lingyuan.ac@gmail.com\">ye.lingyuan.ac@gmail.com<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-100 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/category-plugins-header-edited.png\" alt=\"\" class=\"wp-image-3816\" width=\"201\" height=\"201\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/category-plugins-header-edited.png 235w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/category-plugins-header-edited-200x200.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/category-plugins-header-edited-80x80.png 80w\" sizes=\"(max-width: 201px) 100vw, 201px\" \/><\/figure><\/div><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\">\n<h4>\u7b2c1\u671f 2021-12-07<\/h4>\n\n\n\n<p class=\"has-text-align-left\">\u53f6\u51cc\u8fdc\uff1a<a rel=\"noreferrer noopener\" href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/\u8303\u7574\u903b\u8f91-I\u2014\u2014\u903b\u8f91\u4e0e\u6570\u5b66\u7ed3\u6784\u7684\u5bf9\u5e94-1.pdf\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2021\/12\/\u8303\u7574\u903b\u8f91-I\u2014\u2014\u903b\u8f91\u4e0e\u6570\u5b66\u7ed3\u6784\u7684\u5bf9\u5e94-1.pdf\" target=\"_blank\">\u8303\u7574\u903b\u8f91 I\u2014\u2014\u903b\u8f91\u4e0e\u6570\u5b66\u7ed3\u6784\u7684\u5bf9\u5e94<\/a><br>Email\uff1a<a href=\"mailto:ye.lingyuan.ac@gmail.com\">ye.lingyuan.ac@gmail.com<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u6e05\u534e\u903b\u8f91\u968f\u7b14 (Tsinghua Logic Blog) \u662f\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u5b66\u751f\u548c\u8001\u5e08\u5171\u540c\u521b\u529e\u7684\u680f\u76ee\uff0c\u680f\u76ee\u7f16\u8f91\u4e3a [&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\/3812"}],"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=3812"}],"version-history":[{"count":68,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/3812\/revisions"}],"predecessor-version":[{"id":9231,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/3812\/revisions\/9231"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=3812"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}