{"id":5220,"date":"2022-09-16T03:01:16","date_gmt":"2022-09-15T19:01:16","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=5220"},"modified":"2022-09-19T04:44:38","modified_gmt":"2022-09-18T20:44:38","slug":"bachelors-dissertation","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/bachelors-dissertation\/","title":{"rendered":"Bachelor Dissertation"},"content":{"rendered":"\n<h2>2022<\/h2>\n\n\n\n<figure class=\"wp-block-table is-style-regular\"><table class=\"has-subtle-light-gray-background-color has-background\"><thead><tr><th class=\"has-text-align-center\" data-align=\"center\">Author<\/th><th class=\"has-text-align-center\" data-align=\"center\">Title<\/th><th class=\"has-text-align-center\" data-align=\"center\">Supervisor(s)<\/th><\/tr><\/thead><tbody><tr><td class=\"has-text-align-center\" data-align=\"center\">Lingyuan Ye \u53f6\u51cc\u8fdc (Tsinghua)<\/td><td class=\"has-text-align-center\" data-align=\"center\"><em>A Structural Study of Information in a Logical Perspective (\u5173\u4e8e\u4fe1\u606f\u7ed3\u6784\u7684\u903b\u8f91\u7814\u7a76)<\/em><\/td><td class=\"has-text-align-center\" data-align=\"center\">Johan van Benthem, Fenrong Liu<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\">Haoxuan Yin \u5c39\u660a\u8431 (Tsinghua)<\/td><td class=\"has-text-align-center\" data-align=\"center\"><em>New Proof Methods for Lyndon\u2019s Theorem in Variations of First-Order Logic (\u4e00\u9636\u903b\u8f91\u53d8\u4f53\u4e2d\u6797\u767b\u5b9a\u7406\u7684\u65b0\u8bc1\u660e\u65b9\u6cd5)<\/em><\/td><td class=\"has-text-align-center\" data-align=\"center\">Johan van Benthem<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\">Xiaoshuang Yang \u6768\u5c0f\u53cc (Tsinghua)<\/td><td class=\"has-text-align-center\" data-align=\"center\"><em>Instantial Neighbourhood Logic: Characterization of the Properties of Neighbourhood Functions (\u542b\u4f8b\u90bb\u57df\u903b\u8f91\uff1a\u5bf9\u90bb\u57df\u51fd\u6570\u6027\u8d28\u7684\u523b\u753b)<\/em><\/td><td class=\"has-text-align-center\" data-align=\"center\">Junhua Yu<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\">Haotian Tong \u7ae5\u660a\u5929(Tsinghua)<\/td><td class=\"has-text-align-center\" data-align=\"center\"><em>Carnap\u2019s Problem in Intuitionistic Logic (\u76f4\u89c9\u4e3b\u4e49\u903b\u8f91\u4e2d\u7684\u5361\u5c14\u7eb3\u666e\u95ee\u9898)<\/em><\/td><td class=\"has-text-align-center\" data-align=\"center\">Dag Westerst\u00e5hl<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<div style=\"height:56px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"is-layout-flex wp-block-buttons\"><\/div>\n\n\n\n<h4>&lt;&lt; <a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=5187\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=5187\">Back<\/a><\/h4>\n","protected":false},"excerpt":{"rendered":"<p>2022 Author Title Supervisor(s) Lingyuan Ye \u53f6\u51cc\u8fdc (Tsingh [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"categories":[],"tags":[],"folder":[70],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5220"}],"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=5220"}],"version-history":[{"count":12,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5220\/revisions"}],"predecessor-version":[{"id":5292,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5220\/revisions\/5292"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=5220"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=5220"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=5220"},{"taxonomy":"folder","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/folder?post=5220"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}