{"id":5222,"date":"2022-09-16T03:38:08","date_gmt":"2022-09-15T19:38:08","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=5222"},"modified":"2024-05-20T16:36:14","modified_gmt":"2024-05-20T08:36:14","slug":"master-dissertation","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/master-dissertation\/","title":{"rendered":"Master Dissertation"},"content":{"rendered":"\n

2024<\/h2>\n\n\n\n
Author<\/th>Title<\/th>Supervisor(s)<\/th><\/tr><\/thead>
Fengxiang Cheng (Tsinghua)<\/td>Norms, Permissions and Obligations: From a Perspective of Dependence<\/em>
(<\/em>\u89c4\u8303\u3001\u4e49\u52a1\u4e0e\u8bb8\u53ef\uff1a\u4e00\u79cd\u4f9d\u8d56\u6027\u7684\u7814\u7a76\u89c6\u89d2)<\/em><\/td>		Chenwei Shi<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

2022<\/h2>\n\n\n\n
Author<\/th>Title<\/th>Supervisor(s)<\/th><\/tr><\/thead>
Tianwei Zhang \u5f20\u5929\u73ae (UvA)<\/td>Bisimulations over Parity Formulas<\/em><\/td>Yde Venema, Johannes Marti<\/td><\/tr>
Han Gao \u9ad8\u6657 (Tsinghua)<\/td>On Some Variants of Instantial Neighborhood Logic (<\/em>\u542b\u4f8b\u90bb\u57df\u903b\u8f91\u82e5\u5e72\u53d8\u4f53\u7814\u7a76)<\/em><\/td>Junhua Yu<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

2021<\/h2>\n\n\n\n
Author<\/th>Title<\/th>Supervisor(s)<\/strong><\/th><\/tr><\/thead>
Zixi Yang \u6768\u6893\u5e0c (Tsinghua)<\/td>Two Extensions of Instantial Neighborhood Logic\u00a0 (<\/em>\u542b\u4f8b\u90bb\u57df\u903b\u8f91\u7684\u4e24\u4e2a\u6269\u5f20)<\/em><\/td>Junhua Yu<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

2018<\/h2>\n\n\n\n
Author<\/th>Title<\/th>Supervisor(s)<\/strong><\/th><\/tr><\/thead>
Yinqiu Zhu \u6731\u541f\u79cb (Tsinghua)<\/td>Circular Sequent Calculus for Visser’s Formal Propositional Logic FPL (<\/em>\u7ef4\u745f\u5f62\u5f0f\u547d\u9898\u903b\u8f91FPL\u7684\u5faa\u73af\u77e2\u5217\u6f14\u7b97)<\/em><\/td>Junhua Yu<\/td><\/tr>
Yun Zhang \u5f20\u6600 (Tsinghua)<\/td>Study on the Dynamic Epistemic Logic of the Werewolf Games (<\/em>\u72fc\u4eba\u6740\u535a\u5f08\u7684\u52a8\u6001\u8ba4\u77e5\u903b\u8f91\u7814\u7a76)<\/em><\/td>Fenrong Liu<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

2017<\/h2>\n\n\n\n
Author<\/th>Title<\/th>Supervisor(s)<\/strong><\/th><\/tr><\/thead>
Bonan Zhao \u8d75\u535a\u56e1 (UvA)<\/td>Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game <\/a><\/em><\/td>Jakub Szymanik, Iris van de Pol<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

2016<\/h2>\n\n\n\n
Author<\/th>Title<\/th>Supervisor(s)<\/strong><\/th><\/tr><\/thead>
Yiyan Wang \u738b\u5955\u5ca9 (Tsinghua)<\/td>Individual versus Collective Agency\uff1aFrom Epistemic Logic to Deontic Logic (<\/em>\u5173\u4e8e\u903b\u8f91\u4e3b\u4f53\u7684\u8ba8\u8bba\u2014\u2014\u5728\u4e2a\u4f53\u4e0e\u7fa4\u4f53\u4e4b\u95f4)<\/em><\/td>Fenrong Liu<\/td><\/tr>
Kaibo Xie \u8c22\u51ef\u535a (Tsinghua)<\/td>“Desire-as-Belief” from a Logic Perspective (\u201c<\/em>\u6b32\u671b\u5f52\u7ea6\u4e8e\u4fe1\u5ff5\u201d\u7684\u903b\u8f91\u5206\u6790)<\/em><\/td>Lu Wang<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

2015<\/h2>\n\n\n\n
Author<\/th>Title<\/th>Supervisor(s)<\/strong><\/th><\/tr><\/thead>
Zhiwei Yang \u6768\u5fd7\u4f1f (Tsinghua)<\/td>Preference Aggregation in Social Setting (<\/em>\u793e\u4f1a\u8bed\u5883\u4e0b\u7684\u504f\u597d\u805a\u5408)<\/em><\/td>Fenrong Liu<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

2014<\/h2>\n\n\n\n
Author<\/th>Title<\/th>Supervisor(s)<\/strong><\/th><\/tr><\/thead>
Chenwei Shi \u77f3\u8fb0\u5a01 (Tsinghua)<\/td>Logic of Evidence-Based Belief and Knowledge\u00a0(<\/em>\u57fa\u4e8e\u8bc1\u636e\u7684\u4fe1\u5ff5\u4e0e\u77e5\u8bc6\u903b\u8f91\u00a0)<\/em><\/td>Fenrong Liu<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

<< Back<\/a><\/h4>\n","protected":false},"excerpt":{"rendered":"

2024 Author Title Supervisor(s) Fengxiang Cheng (Tsingh […]<\/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\/5222"}],"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=5222"}],"version-history":[{"count":12,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5222\/revisions"}],"predecessor-version":[{"id":7347,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5222\/revisions\/7347"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=5222"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=5222"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=5222"},{"taxonomy":"folder","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/folder?post=5222"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}