{"id":10470,"date":"2026-06-10T19:13:33","date_gmt":"2026-06-10T11:13:33","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=10470"},"modified":"2026-06-10T19:14:17","modified_gmt":"2026-06-10T11:14:17","slug":"learning-and-dynamic-logic","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/learning-and-dynamic-logic\/","title":{"rendered":"Learning and Dynamic Logic"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"10470\" class=\"elementor elementor-10470\" 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-d1649f8 elementor-section-content-middle elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d1649f8\" 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-9893244\" data-id=\"9893244\" 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-9c1120b elementor-widget elementor-widget-text-editor\" data-id=\"9c1120b\" 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, June 29<sup>th<\/sup> &#8211; July 3<sup>rd<\/sup><\/li><li><strong>Location:<\/strong> Jianhua Building A308\uff08\u5efa\u534e\/\u7ecf\u7ba1\u65b0\u697cA308\uff09<\/li><li><strong>Lecturer:<\/strong> <a href=\"https:\/\/ninagierasimczuk.com\">Nina Gierasimczuk<\/a> (Danish Technical University)<\/li><li><strong>Teaching Assistants: <\/strong>\u6b27\u9633\u6587\u98de\uff08wenfeiouyang@gmail.com\uff09\uff0c\u9a6c\u90c5\u771f\uff08mzz25@mails.tsinghua.edu.cn\uff09<\/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-eb07b8b\" data-id=\"eb07b8b\" 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-d817ccf elementor-widget elementor-widget-image\" data-id=\"d817ccf\" data-element_type=\"widget\" data-widget_type=\"image.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-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"223\" height=\"256\" src=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/citations.jpeg\" class=\"attachment-large size-large\" alt=\"\" loading=\"lazy\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/citations.jpeg 223w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/citations-174x200.jpeg 174w\" sizes=\"(max-width: 223px) 100vw, 223px\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Nina Gierasimczuk<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\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-b1206fb elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b1206fb\" 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-9cf253c\" data-id=\"9cf253c\" 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-2b3d2b7 elementor-widget elementor-widget-heading\" data-id=\"2b3d2b7\" 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-6d44c4f elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6d44c4f\" 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-e157391\" data-id=\"e157391\" 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-6aad681 elementor-widget elementor-widget-text-editor\" data-id=\"6aad681\" 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\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Time: 13:30-16:05, June 29th &#8211; July 3rd Location: [&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":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/10470"}],"collection":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=10470"}],"version-history":[{"count":4,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/10470\/revisions"}],"predecessor-version":[{"id":10474,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/10470\/revisions\/10474"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=10470"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}