{"id":4448,"date":"2022-03-17T02:00:54","date_gmt":"2022-03-16T18:00:54","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=4448"},"modified":"2022-03-17T02:00:55","modified_gmt":"2022-03-16T18:00:55","slug":"invited-talk-johan-van-benthem","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/invited-talk-johan-van-benthem\/","title":{"rendered":"Invited Talk \u2013 Johan van Benthem"},"content":{"rendered":"\n<h3>Logical Dynamics of Agency Meets Natural Language<\/h3>\n\n\n\n<p>This is mainly a survey and issues talk. I start with the Dynamic Turn in the 1980s, its origins, and the two manifestations that crystallized over time: one toward a new kind of semantics for natural language and one toward classically interpreted dynamic logics of information-driven agency on extended vocabularies. I review some technical results and open problems connecting the formal systems arising in the two approaches, in particular, Dynamic Epistemic Logic\/Dynamic Semantics, and Game Logics\/ Game-Theoretic Semantics. I conclude with what a dynamic logic of agency perspective may add to the study of natural language.<\/p>\n\n\n\n<h4>Reference <\/h4>\n\n\n\n<ol><li>J. van Benthem, R. Muskens &amp; A. Visser, 1997, &#8220;Dynamics&#8221;, &#8220;Handbook of Logic and Language&#8221;, Elsevier, Amsterdam.<\/li><li>J. van Benthem, &#8220;Natural Language and Logic of Agency&#8221;, JoLLI 2014. <\/li><li>J. van Benthem, &#8220;Implicit and Explicit Stances in Logic&#8221;, JPL 2018. Johan van Benthem<\/li><\/ol>\n","protected":false},"excerpt":{"rendered":"<p>Logical Dynamics of Agency Meets Natural Language This  [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/4448"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/post"}],"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=4448"}],"version-history":[{"count":1,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/4448\/revisions"}],"predecessor-version":[{"id":4449,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/4448\/revisions\/4449"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=4448"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=4448"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=4448"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}