{"id":9836,"date":"2026-03-15T11:43:22","date_gmt":"2026-03-15T03:43:22","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=9836"},"modified":"2026-03-15T11:46:50","modified_gmt":"2026-03-15T03:46:50","slug":"logic-reading-program-past-sessions","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/logic-reading-program-past-sessions\/","title":{"rendered":"Logic Reading Program Past Sessions"},"content":{"rendered":"\n<p><strong>2026 Jan 6 15:30-17:00 Xin Li (\u674e\u946b, Tsinghua University):<\/strong><strong><\/strong><\/p>\n\n\n\n<p>Skvortsov, Dmitrii Pavlovich. \u201cLogic of infinite problems and Kripke models on atomic semilattices of sets.\u201d&nbsp;<em>Doklady Akademii Nauk<\/em>. Vol. 245. No. 4. Russian Academy of Sciences, 1979.&nbsp;<strong>[Part 2]<\/strong><\/p>\n\n\n\n<p><strong>2025 Dec 26 15:30-17:00 Xin Li (\u674e\u946b, Tsinghua University) , Yunsong Wang (\u738b\u4e91\u5d27, Peking University):<\/strong><\/p>\n\n\n\n<p>Skvortsov, Dmitrii Pavlovich. \u201cLogic of infinite problems and Kripke models on atomic semilattices of sets.\u201d&nbsp;<em>Doklady Akademii Nauk<\/em>. Vol. 245. No. 4. Russian Academy of Sciences, 1979.&nbsp;<strong>[Part 1]<\/strong><\/p>\n\n\n\n<p><strong>2025 Dec 12 15:30-17:00 Xi Yang (\u6768\u66e6, Tsinghua University) :<\/strong><\/p>\n\n\n\n<p>Rossman, Benjamin. \u201cHomomorphism preservation theorems.\u201d Journal of the ACM (JACM) 55.3 (2008): 1-53.&nbsp;<strong>[Part 2]<\/strong><\/p>\n\n\n\n<p><strong>2025 Nov 20 15:30-17:00 Xi Yang (\u6768\u66e6, Tsinghua University) :<\/strong><\/p>\n\n\n\n<p>Rossman, Benjamin. \u201cHomomorphism preservation theorems.\u201d Journal of the ACM (JACM) 55.3 (2008): 1-53.<strong>&nbsp;[Part 1]<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>2026 Jan 6 15:30-17:00 Xin Li (\u674e\u946b, Tsinghua University) [&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\/9836"}],"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=9836"}],"version-history":[{"count":2,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/9836\/revisions"}],"predecessor-version":[{"id":9838,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/9836\/revisions\/9838"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=9836"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}