{"id":5854,"date":"2023-05-20T10:26:00","date_gmt":"2023-05-20T02:26:00","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=5854"},"modified":"2023-05-20T10:26:01","modified_gmt":"2023-05-20T02:26:01","slug":"research-program-logic-and-agency","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/research-program-logic-and-agency\/","title":{"rendered":"Research Program: Logic and Agency"},"content":{"rendered":"\n<p><style>\/*! elementor - v3.5.6 - 28-02-2022 *\/<br \/>\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><\/p>\n\n\n\n<div class=\"wp-block-cover\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-black-background-color has-background-dim-60 has-background-dim\"><\/span><img decoding=\"async\" loading=\"lazy\" width=\"1024\" height=\"1024\" class=\"wp-block-cover__image-background wp-image-5858\" alt=\"\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_highlighting_the_theme_of_social_netw_484cc070-fe6b-4be0-a025-53fc39012295.png\" style=\"object-position:49% 50%\" data-object-fit=\"cover\" data-object-position=\"49% 50%\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_highlighting_the_theme_of_social_netw_484cc070-fe6b-4be0-a025-53fc39012295.png 1024w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_highlighting_the_theme_of_social_netw_484cc070-fe6b-4be0-a025-53fc39012295-200x200.png 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_highlighting_the_theme_of_social_netw_484cc070-fe6b-4be0-a025-53fc39012295-80x80.png 80w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_highlighting_the_theme_of_social_netw_484cc070-fe6b-4be0-a025-53fc39012295-768x768.png 768w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_highlighting_the_theme_of_social_netw_484cc070-fe6b-4be0-a025-53fc39012295-510x510.png 510w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><div class=\"wp-block-cover__inner-container\">\n<p class=\"has-text-align-center has-white-color has-text-color has-large-font-size\">Logic and Agency<\/p>\n\n\n\n<p class=\"has-white-color has-text-color\">Logic started as the exact study of reasoning by human actors, and over time also, by computing machines. Increasingly, the tools developed in this study are starting to cover a much wider range of informational actions, including observation and communication, and interactive patterns of rational agency depending on these. This project is devoted to developing the logic of information-driven social agency, bridging the gap from individual to social information behavior, and studying the role of constantly emerging structured social entities such as groups and networks. The resulting questions lie at the intersection of logic, philosophy, computer science, and the social sciences.<\/p>\n<\/div><\/div>\n\n\n\n<h3>Core group: <\/h3>\n\n\n\n<p>Names of the coordinating project leaders are italicized.<\/p>\n\n\n\n<ul>\n<li>Alexandru Baltag (ILLC)<\/li>\n\n\n\n<li>Johan van Benthem (ILLC)<\/li>\n\n\n\n<li><em>Fenrong Liu<\/em>\u00a0(Tsinghua)<\/li>\n\n\n\n<li>Jeremy Seligman (Auckland)<\/li>\n\n\n\n<li>Chenwei Shi (Tsinghua)<\/li>\n\n\n\n<li>Sonja Smets (ILLC)<\/li>\n<\/ul>\n\n\n\n<h3>Key publications:<\/h3>\n\n\n\n<ol>\n<li>J. van Benthem, L. Li, C. Shi, H. Yin: Hybrid Sabotage Modal Logic,&nbsp;<em>Journal of Logic and<\/em><em>Computation<\/em>, 2022, online first<\/li>\n\n\n\n<li>Q.Chen, C.Shi, Y. Wang: Reasoning about Dependence, Preference and Coalitional Power. CoRR abs\/2209.08213, 2022<\/li>\n\n\n\n<li>A. Baltag, N. Bezhanishvili, A. \u00d6zgun, S. Smets: Justified Belief, Knowledge, and the Topology of Evidence.\u00a0<em>Synthese\u00a0<\/em>200(6), 2022<\/li>\n\n\n\n<li>Alexandru Baltag, Johan van Benthem. A Simple Logic of Functional Dependence. <em>J. Philos. Log<\/em>. 50(5): 939-1005, 2021<\/li>\n\n\n\n<li>Chenwei Shi, Yang Sun. Logic of Convex Order. <em>Stud. Logica<\/em> 109(5): 1019-1047, 2021<\/li>\n\n\n\n<li>Dazhu Li. <em>Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction<\/em>. Dissertation. Tsinghua University and University of Amsterdam<\/li>\n<\/ol>\n\n\n\n<h3>Highlight:<\/h3>\n\n\n\n<ul>\n<li>After finishing his postdoc, Chenwei Shi joined the Department of Philosophy at Tsinghua as an assistant professor. At the 10-year celebration of the School of Humanities, Chenwei was invited to speak on behalf of all humanity faculty members. <\/li>\n\n\n\n<li>Dazhu Li, received a joint PhD degree from Tsinghua University and the University of Amsterdam for a dissertation on game logics supervised by Alexandru Baltag at the UvA and Fenrong Liu and Johan van Benthem at Tsinghua.<\/li>\n\n\n\n<li>Funding: Logics of Information Flow in Social Networks, (2017\u20132021), Major Program National Social Science Foundation of China (\u793e\u79d1\u57fa\u91d1\u91cd\u5927\u9879\u76ee). Grant No.17ZDA026.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Core group: Names of the coordinating project leaders a [&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\/5854"}],"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=5854"}],"version-history":[{"count":3,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5854\/revisions"}],"predecessor-version":[{"id":5859,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5854\/revisions\/5859"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=5854"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}