{"id":7864,"date":"2025-01-19T01:38:15","date_gmt":"2025-01-18T17:38:15","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=7864"},"modified":"2025-07-20T12:15:11","modified_gmt":"2025-07-20T04:15:11","slug":"topological-approaches-to-epistemic-logic","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/topological-approaches-to-epistemic-logic\/","title":{"rendered":"<strong><strong>Topological Approaches to Epistemic Logic<\/strong><\/strong>"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"7864\" class=\"elementor elementor-7864\" 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-4f4d22b elementor-section-content-middle elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4f4d22b\" 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-66 elementor-top-column elementor-element elementor-element-1b40108\" data-id=\"1b40108\" 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-2031d55 elementor-widget elementor-widget-text-editor\" data-id=\"2031d55\" 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><strong>Time:<\/strong> 13:30-16:05, July 14<sup>th<\/sup>\u00a0-18<sup>th<\/sup><\/li><li><strong>Location:<\/strong> Room 5105, Teaching Building No. 5<\/li><li><strong>Lecturer:<\/strong> Ayb\u00fcke \u00d6zg\u00fcn (ILLC, University of Amsterdam)<\/li><li><strong>Teaching Assistants:<\/strong><br \/><p style=\"font-weight: 400;\">Wenfei Ouyang (\u6b27\u9633\u6587\u98de, oywf23@mails.tsinghua.edu.cn)<\/p><p style=\"font-weight: 400;\">Yumin Ji (\u6c60\u5e7d\u65fb, m2e07@naver.com)<\/p><\/li><li><strong>A WeChat group has been created for announcements, room changes, and social events. If you haven&#8217;t received invitation, \u00a0please contact the TAs.\u00a0<\/strong><\/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<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-7ba6987\" data-id=\"7ba6987\" 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-8d5e7cd elementor-widget elementor-widget-text-editor\" data-id=\"8d5e7cd\" data-element_type=\"widget\" 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><img decoding=\"async\" loading=\"lazy\" class=\"aligncenter wp-image-7866 \" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/01\/Foto_Aybuke.jpg\" alt=\"\" width=\"189\" height=\"283\" \/><\/p><p style=\"text-align: center;\"><a href=\"https:\/\/sites.google.com\/site\/ozgunaybuke\/\">Ayb\u00fcke \u00d6zg\u00fcn<\/a><\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f12f1d7 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f12f1d7\" 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-09365f7\" data-id=\"09365f7\" 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-295f4c5 elementor-widget elementor-widget-heading\" data-id=\"295f4c5\" 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><h3 class=\"elementor-heading-title elementor-size-default\">Course Description<\/h3>\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-24e8476 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"24e8476\" 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-495f073\" data-id=\"495f073\" 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-6cef152 elementor-widget elementor-widget-text-editor\" data-id=\"6cef152\" data-element_type=\"widget\" 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>Topological semantics for epistemic logic provides an elegant and natural way to model not only knowledge and belief within a (modal) logical framework, but also the evidence upon which knowledge and belief are based. In this course, we investigate various topological approaches to epistemic logic. We explore topological spaces as information structures naturally suited to modeling evidence and its relationship to knowledge and belief. We focus mainly on the recent developments in the field, elaborate on the conceptual arguments behind using topological spaces as formal models for epistemic logic, and study the technical details of relevant (meta)-logical results. Topics to be covered include:<\/p><ul><li>basic notions in topology and how they relate to important notions in epistemology.<\/li><li>the interior-based topological semantics for modal\/epistemic logic.<\/li><li>topological evidence models.<\/li><li>subset space semantics, topo-logic, and their extensions.<\/li><\/ul><p>At the end of the course, we will provide an overview of recent developments in the field, highlighting open questions and further avenues for investigation.<\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-7fd8781 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"7fd8781\" 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-94b596f\" data-id=\"94b596f\" 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-1cf7ac5 elementor-widget elementor-widget-heading\" data-id=\"1cf7ac5\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Background Knowledge<\/h3>\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-3224298 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3224298\" 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-49f244b\" data-id=\"49f244b\" 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-da0b85e elementor-widget elementor-widget-text-editor\" data-id=\"da0b85e\" data-element_type=\"widget\" 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>The course will only require background in metalogic and basic modal logic (its syntax, Kripke semantics, some basic results on completeness, and its epistemic\/doxastic interpretation). In particular, we will introduce all the necessary topological concepts on the first day. In the course, we will generally focus on technical material but often provide examples, in order to make the material more accessible, and we will also have class discussions about the philosophical issues behind the technical material covered in the course. Students are also expected to have some degree of mathematical maturity and an interest in the themes of the course.<\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-cc873b7 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"cc873b7\" 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-e96455e\" data-id=\"e96455e\" 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-e2f6d4b elementor-widget elementor-widget-heading\" data-id=\"e2f6d4b\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Reading Material for Technical Background<\/h3>\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-c2ad824 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"c2ad824\" 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-edc2c3f\" data-id=\"edc2c3f\" 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-cdaf79b elementor-widget elementor-widget-text-editor\" data-id=\"cdaf79b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<ul><li><div class=\"elementToProof\" role=\"presentation\">Modal Logic: Blackburn, P., de Rijke, M., &amp; Venema, Y. (2001). Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Scie. Cambridge: Cambridge University Press.<\/div><div role=\"presentation\">\u00a0<\/div><div role=\"presentation\">We will use Kripke\/relational semantics, normal modal logics, soundness and completeness, finite modal property (please also see the course handout).<\/div><div role=\"presentation\">\u00a0<\/div><\/li><li><div role=\"presentation\">Topology\uff1aEngelking, R. (1989). General topology, vol. 6. Berlin: Heldermann Verlag, second ed. (any other topology textbook is also fine)<\/div><div role=\"presentation\">\u00a0<\/div><div role=\"presentation\">We will employ topological notions such as topological spaces, open and closed sets, interior and closure operators, derived set operator, sub basis, basis, subspace, dense sets, nowhere dense sets, among others (please also see the course handout).<\/div><\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-4f8fd4e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4f8fd4e\" 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-840eb45\" data-id=\"840eb45\" 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-1c9d13a elementor-widget elementor-widget-heading\" data-id=\"1c9d13a\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Main References (further references will be provided on slides)<\/h3>\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-809db68 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"809db68\" 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-487ee23\" data-id=\"487ee23\" 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-9bfa90b elementor-widget elementor-widget-text-editor\" data-id=\"9bfa90b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<ul data-editing-info=\"{\"><li><div class=\"elementToProof\" role=\"presentation\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/Topological-Approaches-to-Epistemic-Logic-2025-Handout-2025-07-14.pdf\">Course Handout<\/a><\/div><\/li><li><div class=\"elementToProof\" role=\"presentation\">For a basics of epistemic logic, brief overview and further sources: Rendsvig, Rasmus, John Symons, and Yanjing Wang, &#8220;Epistemic Logic&#8221;, <i>The Stanford Encyclopedia of Philosophy <\/i>(Summer 2025 Edition), Edward N. Zalta &amp; Uri Nodelman\u00a0(eds.), URL =&lt;<a href=\"https:\/\/plato.stanford.edu\/archives\/sum2025\/entries\/logic-epistemic\/\">https:\/\/plato.stanford.edu\/archives\/sum2025\/entries\/logic-epistemic\/<\/a>&gt;<\/div><\/li><li><div class=\"elementToProof\" role=\"presentation\">van Benthem J., Bezhanishvili G. (2007) Modal Logics of Space. In: Aiello M., Pratt-Hartmann I., Van Benthem J. (eds) Handbook of Spatial Logics. Springer, Dordrecht. <a href=\"https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_5\">https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_5<\/a><\/div><\/li><li><div class=\"elementToProof\" role=\"presentation\">\u00d6zg\u00fcn, A. (2017) Evidence in Epistemic Logic: A Topological Perspective. Ph.D. thesis, Universite de Lorraine and University of Amsterdam. URL<a id=\"OWAbb1e6469-7392-cc54-23f5-dbf98a489fe5\" class=\"x_OWAAutoLink\" title=\"https:\/\/www.illc.uva.nl\/Research\/Publications\/Dissertations\/DS-2017-07.text.pdf\" href=\"https:\/\/www.illc.uva.nl\/Research\/Publications\/Dissertations\/DS-2017-07.text.pdf\" target=\"_blank\" rel=\"noopener noreferrer\" data-auth=\"NotApplicable\" data-linkindex=\"1\">https:\/\/www.illc.uva.nl\/Research\/Publications\/Dissertations\/DS-2017-07.text.pdf<\/a>\u00a0(relevant chapters for each lecture are to be specified)<\/div><\/li><li><div class=\"elementToProof\" role=\"presentation\">Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., and Smets, S. (2022) Justified belief, knowledge, and the topology of evidence. Synthese 200, 512.<a href=\"https:\/\/doi.org\/10.1007\/s11229-022-03967-6\">https:\/\/doi.org\/10.1007\/s11229-022-03967-6<\/a><\/div><\/li><li><div class=\"elementToProof\" role=\"presentation\">Moss, L. S., &amp; Parikh, R. (1992). Topological reasoning and the logic of knowledge. In Proceedings of 4th Conference on Theoretical Aspects of Computer Science (TARK 1992), (pp. 95\u2013105). Morgan Kaufmann.<\/div><\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f44fe89 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f44fe89\" 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-ca7b44f\" data-id=\"ca7b44f\" 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-3d57abd elementor-widget elementor-widget-heading\" data-id=\"3d57abd\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Tentative Schedule<\/h3>\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-6f4c2bf elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6f4c2bf\" 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-acf9757\" data-id=\"acf9757\" 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-47ab06f elementor-widget elementor-widget-text-editor\" data-id=\"47ab06f\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<ul><li class=\"elementToProof\">Day 1 \u00a0Motivation and Topological Preliminaries<\/li><li class=\"elementToProof\">Day 2 \u00a0Topological Models for Knowledge and Belief<\/li><li class=\"elementToProof\">Day 3 \u00a0Topological Evidence Models<\/li><li class=\"elementToProof\">Day 4 \u00a0Subset Space Semantics and Topo-Logic<\/li><li class=\"elementToProof\">Day 5 \u00a0Overview of Selected Topics and Summary<\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-83f19cb elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"83f19cb\" 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-809f735\" data-id=\"809f735\" 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-8ec468c elementor-widget elementor-widget-heading\" data-id=\"8ec468c\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Slides and Homework<\/h3>\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-fbbdfb6 elementor-section-content-top elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fbbdfb6\" 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-739dc74\" data-id=\"739dc74\" 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-a365761 elementor-widget elementor-widget-text-editor\" data-id=\"a365761\" data-element_type=\"widget\" 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\/wp-content\/uploads\/2025\/07\/Day-1-Final.pdf\">Slides for Day 1<\/a><\/p><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/Day-2.pdf\">Slides for Day 2<\/a><\/p><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/Day-3-1.pdf\">Slides for Day 3<\/a><\/p><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/Day-4-1.pdf\">Slides for Day 4<\/a><\/p><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/Day-5.pdf\">Slides for Day 5<\/a><\/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-ba537b6\" data-id=\"ba537b6\" 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-d2a7d9d elementor-widget elementor-widget-text-editor\" data-id=\"d2a7d9d\" data-element_type=\"widget\" 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\/wp-content\/uploads\/2025\/07\/HW1.pdf\">Homework 1<\/a><\/p><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/HW2.pdf\">Homework 2<\/a><\/p><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/HW3.pdf\">Homework 3<\/a><\/p><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/07\/Final-Exam.pdf\">Final exam<\/a><\/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>Time: 13:30-16:05, July 14th\u00a0-18th Location: Room 5105, [&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\/7864"}],"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=7864"}],"version-history":[{"count":52,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7864\/revisions"}],"predecessor-version":[{"id":8302,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7864\/revisions\/8302"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=7864"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}