{"id":7418,"date":"2024-06-14T23:06:25","date_gmt":"2024-06-14T15:06:25","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=7418"},"modified":"2026-02-03T17:29:41","modified_gmt":"2026-02-03T09:29:41","slug":"tsinghua-logic-summer-school-archive","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/tsinghua-logic-summer-school-archive\/","title":{"rendered":"Tsinghua Logic Summer School Archive"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"7418\" class=\"elementor elementor-7418\" 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-5ef91c23 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5ef91c23\" 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-3630dc59\" data-id=\"3630dc59\" 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-2773f686 elementor-widget elementor-widget-text-editor\" data-id=\"2773f686\" 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<p><!-- wp:heading {\"level\":3} --><\/p>\n<h3>Courses of 2021<\/h3>\n<ul>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=1746\" target=\"_blank\" rel=\"noreferrer noopener\">Topological Semantics of Modal Logic<\/a>, by <a href=\"https:\/\/staff.fnwi.uva.nl\/n.bezhanishvili\/\" target=\"_blank\" rel=\"noreferrer noopener\">Nick Bezhanishvili<\/a> (ILLC, UvA, June 28th -July 4th)<\/li>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=1750(opens%20in%20a%20new%20tab)\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=1750(opens%20in%20a%20new%20tab)\">Conditionals and Causality<\/a>, by <a href=\"https:\/\/www.uva.nl\/profiel\/s\/c\/k.schulz\/k.schulz.html\">Katrin Schulz<\/a> (ILLC, UvA) and <a href=\"https:\/\/staff.fnwi.uva.nl\/r.a.m.vanrooij\/\">Robert van Rooij<\/a> (ILLC, UvA) (June 28th -July 4th)<\/li>\n<\/ul>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- \/wp:list --><\/p>\n<p><!-- wp:heading {\"level\":3} --><\/p>\n<h3>Courses of 2022<\/h3>\n<ul>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=4865\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=4865\">Logic, Data and Incomplete Information<\/a>, by <a href=\"https:\/\/users.soe.ucsc.edu\/~kolaitis\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"https:\/\/users.soe.ucsc.edu\/~kolaitis\/\">Phokion G.Kolaitis<\/a>\uff08University of California Santa Cruz &amp; IBM Research, June 27th -July 3rd\uff09<\/li>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=4929\" target=\"_blank\" rel=\"noreferrer noopener\">Expressivity and Inference in Hybrid Logic<\/a>, by\u00a0<a href=\"https:\/\/forskning.ruc.dk\/en\/persons\/patrickb\" target=\"_blank\" rel=\"noreferrer noopener\">Patrick Blackburn<\/a>\u00a0\uff08Section for Philosophy and Science Studies, IKH, Roskilde University, June 27th -July 3rd\uff09<\/li>\n<\/ul>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- \/wp:list --><\/p>\n<p><!-- wp:heading {\"level\":3} --><\/p>\n<h3>Courses of 2023<\/h3>\n<ul>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=5538\" target=\"_blank\" rel=\"noreferrer noopener\">Topological Philosophy of Science<\/a>, by <a href=\"https:\/\/www.cmu.edu\/dietrich\/philosophy\/people\/faculty\/kevin-kelly.html\">Kevin Kelly<\/a> (Carnegie Mellon University, June 26th -30th)<\/li>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=5531\" target=\"_blank\" rel=\"noreferrer noopener\">Logic and Games<\/a>, by <a href=\"https:\/\/www.isichennai.res.in\/~sujata\/\">Sujata Ghosh<\/a> (Indian Statistical Institute, June 26th -30th)<\/li>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/?page_id=5540\" target=\"_blank\" rel=\"noreferrer noopener\">Knowledge and Skepticism in Classical Chinese Thought<\/a>, by <a href=\"https:\/\/cjfraser.net\/\">Chris Fraser<\/a> (University of Toronto, July 3rd -7th)<\/li>\n<\/ul>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- \/wp:list --><\/p>\n<p><!-- wp:heading {\"level\":3} --><\/p>\n<h3>Courses of 2024<\/h3>\n<ul>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/team-semantics-linguistic-and-philosophical-applications\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/team-semantics-linguistic-and-philosophical-applications\/\">Team Semantics: Linguistic and Philosophical Applications<\/a>, by <a href=\"https:\/\/www.marialoni.org\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"https:\/\/www.marialoni.org\/\">Maria Aloni<\/a> (University of Amsterdam, July 8th -12th)<\/li>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/modal-\u03bc-calculus\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/modal-\u03bc-calculus\/\">Modal \u03bc-calculus<\/a>, by <a href=\"https:\/\/theory.amsterdam\/author\/yde-venema\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"https:\/\/theory.amsterdam\/author\/yde-venema\/\">Yde Venema<\/a> (University of Amsterdam, July 8th -12th)<\/li>\n<\/ul>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- wp:list-item --><\/p>\n<div>\n<h3>Courses of 2025<\/h3>\n<\/div>\n<div>\n<ul style=\"caret-color: #000000; color: #000000;\">\n<li><strong><strong><a href=\"http:\/\/tsinghualogic.net\/JRC\/introduction-to-categorical-logic\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/introduction-to-categorical-logic\/\">Introduction to Categorical Logic<\/a><\/strong><\/strong>, \u00a0Ivan Di Liberti (G\u00f6teborgs Universitet) and Lingyuan Ye (University of Cambridge)(June 23rd -27th)<\/li>\n<li><strong><strong><a href=\"http:\/\/tsinghualogic.net\/JRC\/proof-theory-of-modal-logic\/\" target=\"_blank\" rel=\"noreferrer noopener\" data-type=\"URL\" data-id=\"http:\/\/tsinghualogic.net\/JRC\/proof-theory-of-modal-logic\/\">Proof Theory of Modal Logic<\/a><\/strong><\/strong>, Marianna Girlando (ILLC, University of Amsterdam, July 14th -18th)<\/li>\n<li><a href=\"http:\/\/tsinghualogic.net\/JRC\/topological-approaches-to-epistemic-logic\/\"><strong><strong>Topological Approaches to Epistemic Logic<\/strong><\/strong><\/a>, Ayb\u00fcke \u00d6zg\u00fcn (ILLC, University of Amsterdam, July 14th -18th)<\/li>\n<\/ul>\n<\/div>\n<p><!-- \/wp:list-item --><\/p>\n<p><!-- \/wp:list --><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Courses of 2021 Topological Semantics of Modal Logic, b [&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\/7418"}],"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=7418"}],"version-history":[{"count":44,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7418\/revisions"}],"predecessor-version":[{"id":9201,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7418\/revisions\/9201"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=7418"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}