{"id":4410,"date":"2022-03-12T17:45:57","date_gmt":"2022-03-12T09:45:57","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=4410"},"modified":"2022-03-12T18:03:37","modified_gmt":"2022-03-12T10:03:37","slug":"tsinghua-tutorial-what-makes-logic-undecidable","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/tsinghua-tutorial-what-makes-logic-undecidable\/","title":{"rendered":"Tsinghua Tutorial: What makes logic (un)decidable?"},"content":{"rendered":"\n<div class=\"wp-block-cover alignfull has-black-background-color has-background-dim\" style=\"background-image:url(http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/istockphoto-481859164-170667a.jpeg);background-position:72% 8%\"><div class=\"wp-block-cover__inner-container\">\n<p class=\"has-text-align-center has-large-font-size\">What makes logic (un)decidable?<\/p>\n\n\n\n<div class=\"is-layout-flex wp-container-4 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:25%\"><\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column is-vertically-aligned-center\" style=\"flex-basis:50%\">\n<p>What makes first-order logic undecidable and what makes modal logic decidable? This question can of course be answered in different ways. In this course, we explore one line of research that aims to answer this (and that has also provided a basis for many effective algorithms for reasoning problems in different areas of computer science), namely the study of guarded fragments of first-order logic (and of second-order logic). The guarded fragment of first-order logic was first introduced 25 years ago by Andreka, van Benthem and Nemeti, and is still very much alive today: the study of various aspects of (extensions of) the guarded fragment is still an active area of research up to this day.<\/p>\n<\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:25%\"><\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n<div style=\"height:82px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"is-layout-flex wp-container-7 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\">\n<div class=\"wp-block-image is-style-default\"><figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/tencate.png\" alt=\"\" class=\"wp-image-4415\" width=\"271\" height=\"271\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/tencate.png 652w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/tencate-200x200.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/tencate-80x80.png 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2022\/03\/tencate-510x510.png 510w\" sizes=\"(max-width: 271px) 100vw, 271px\" \/><figcaption><strong>Lecturer: Balder ten Cate<\/strong><br><em>Balder ten Cate is a senior researcher at the University of Amsterdam (ILLC). His research spans different applications of logic in computer science and AI, with a particular focus on data management and knowledge representation, as well as computational learning theory. Prior to his current position at the University of Amsterdam, Balder was a software engineer at Google, a computer scientist at LogicBlox, and an Adjunct Professor at UC Santa Cruz and Stanford.<\/em><\/figcaption><\/figure><\/div>\n\n\n\n<p><\/p>\n<\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column\">\n<ul><li><strong>Sessions:<\/strong><\/li><\/ul>\n\n\n\n<ol><li>Mar 16 (Wed.) 19:00-21:00 (UTC +8); <\/li><li>Mar 18 (Fri.) 19:00-21:00 (UTC +8); <\/li><li>Mar 21 (Mon.) 19:00-21:00 (UTC +8); <\/li><li>Mar 23 (Wed.) 19:00-21:00 (UTC +8); <\/li><li>Mar 25 (Fri.) 19:00-21:00 (UTC +8).<\/li><\/ol>\n\n\n\n<ul><li><strong>Format<\/strong>:  online<\/li><\/ul>\n\n\n\n<p><\/p>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Sessions: Mar 16 (Wed.) 19:00-21:00 (UTC +8); Mar 18 (F [&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\/4410"}],"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=4410"}],"version-history":[{"count":9,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/4410\/revisions"}],"predecessor-version":[{"id":4424,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/4410\/revisions\/4424"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=4410"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}