{"id":6408,"date":"2023-08-11T13:38:03","date_gmt":"2023-08-11T05:38:03","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=6408"},"modified":"2023-08-21T18:49:29","modified_gmt":"2023-08-21T10:49:29","slug":"joint-phd-celebration","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/joint-phd-celebration\/","title":{"rendered":"JRC Joint PhD Celebration Event"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"6408\" class=\"elementor elementor-6408\" 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-6c23e7d5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6c23e7d5\" 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-5456f564\" data-id=\"5456f564\" 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-1ded4286 elementor-widget elementor-widget-text-editor\" data-id=\"1ded4286\" 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<p><!-- wp:cover {\"url\":\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/pexels-photo-2354073.jpeg\",\"id\":6409,\"dimRatio\":50,\"focalPoint\":{\"x\":0.55,\"y\":0.14},\"align\":\"full\"} --><\/p>\n<div class=\"wp-block-cover alignfull\">\n<p><img decoding=\"async\" loading=\"lazy\" class=\"wp-block-cover__image-background alignnone wp-image-6459 size-full\" style=\"object-position: 55% 14%;\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/12.jpeg\" alt=\"\" width=\"1600\" height=\"1068\" data-object-fit=\"cover\" data-object-position=\"55% 14%\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/12.jpeg 1600w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/12-200x134.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/12-768x513.jpeg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/12-1536x1025.jpeg 1536w\" sizes=\"(max-width: 1600px) 100vw, 1600px\" \/><\/p>\n<div class=\"wp-block-cover__inner-container\">\n<p><!-- wp:heading {\"textAlign\":\"center\",\"fontSize\":\"large\"} --><\/p>\n<h2 class=\"has-text-align-center has-large-font-size\">JRC Joint PhD Celebration Event<\/h2>\n<p><!-- \/wp:heading --><\/p>\n<p><!-- wp:heading {\"textAlign\":\"center\",\"level\":4} --><\/p>\n<h4 class=\"has-text-align-center\">Tsinghua University &#8211; University of Amsterdam Joint Research Center for Logic<\/h4>\n<p><!-- \/wp:heading --><\/p>\n<p><!-- wp:paragraph {\"align\":\"center\"} --><\/p>\n<p class=\"has-text-align-center\">12th September 2023<\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<p><!-- wp:paragraph {\"align\":\"center\"} --><\/p>\n<p class=\"has-text-align-center\">ILLC, Amsterdam + Online<\/p>\n<p><!-- \/wp:paragraph --><\/p>\n<\/div>\n<\/div>\n<p><!-- \/wp:cover --><\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-011e905 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"011e905\" 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-93c0858\" data-id=\"93c0858\" 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-c4b6fcc elementor-widget elementor-widget-text-editor\" data-id=\"c4b6fcc\" 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>The joint research center for Logic at both Tsinghua University and the University of Amsterdam (UvA) is proud to announce the completion of three new joint PhD theses. Each PhD thesis is the product of a very successful collaboration between our two institutions. The\u00a0work reported on in these new PhD thesis projects is perfectly aligned with the main\u00a0mission of the JRC centre to further broaden\u00a0the interdisciplinary view of logic. We will take the opportunity in the afternoon of the 12th of September to celebrate these new achievements.<\/p>\n<p>We warmly invite all interested researchers and students to attend the event which will take place at\u00a0the ILLC, University of Amsterdam, Science Park on Tuesday, the 12th of September 2023. This event<em>\u00a0will be held in\u00a0<strong>hybrid format<\/strong>.\u00a0<\/em><\/p>\n<p><strong>Registration:\u00a0<\/strong>To participate, please complete the <a href=\"http:\/\/tsinghualogic.net\/JRC\/jrc-joint-phd-celebration-event\/registration1\/\" target=\"_blank\" rel=\"noopener\">registration form<\/a> (there is no registration fee)<\/p>\n<p><strong>The new joint PhD theses<\/strong>:<\/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<section class=\"elementor-section elementor-top-section elementor-element elementor-element-aa2a7cb elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"aa2a7cb\" 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-33 elementor-top-column elementor-element elementor-element-4a139df\" data-id=\"4a139df\" 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-100f917 elementor-widget elementor-widget-image\" data-id=\"100f917\" 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\t\t\t\t<a href=\"https:\/\/eprints.illc.uva.nl\/id\/document\/12738\" target=\"_blank\">\n\t\t\t\t\t\t\t<img decoding=\"async\" width=\"768\" height=\"1084\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.25.09-768x1084.png\" class=\"elementor-animation-float attachment-medium_large size-medium_large\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.25.09-768x1084.png 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.25.09-142x200.png 142w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.25.09-1088x1536.png 1088w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.25.09.png 1280w\" sizes=\"(max-width: 768px) 100vw, 768px\" \/>\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\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<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-845219a\" data-id=\"845219a\" 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-250a55d elementor-widget elementor-widget-image\" data-id=\"250a55d\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/eprints.illc.uva.nl\/id\/document\/12740\" target=\"_blank\">\n\t\t\t\t\t\t\t<img decoding=\"async\" width=\"768\" height=\"1084\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2249-768x1084.jpg\" class=\"elementor-animation-float attachment-medium_large size-medium_large\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2249-768x1084.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2249-142x200.jpg 142w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2249-1088x1536.jpg 1088w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2249.jpg 1280w\" sizes=\"(max-width: 768px) 100vw, 768px\" \/>\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\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<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-3b89f77\" data-id=\"3b89f77\" 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-909cf34 elementor-widget elementor-widget-image\" data-id=\"909cf34\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/eprints.illc.uva.nl\/id\/document\/12735\" target=\"_blank\">\n\t\t\t\t\t\t\t<img decoding=\"async\" width=\"768\" height=\"1084\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.37.44-768x1084.png\" class=\"elementor-animation-float attachment-medium_large size-medium_large\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.37.44-768x1084.png 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.37.44-142x200.png 142w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.37.44-1088x1536.png 1088w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/\u622a\u5c4f2023-08-12-17.37.44.png 1280w\" sizes=\"(max-width: 768px) 100vw, 768px\" \/>\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\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-3b0040e elementor-section-content-top elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3b0040e\" 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-33 elementor-top-column elementor-element elementor-element-f486f3e\" data-id=\"f486f3e\" 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-b52d4c5 elementor-widget elementor-widget-toggle\" data-id=\"b52d4c5\" data-element_type=\"widget\" data-widget_type=\"toggle.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-toggle{text-align:left}.elementor-toggle .elementor-tab-title{font-weight:700;line-height:1;margin:0;padding:15px;border-bottom:1px solid #d4d4d4;cursor:pointer;outline:none}.elementor-toggle .elementor-tab-title .elementor-toggle-icon{display:inline-block;width:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon svg{-webkit-margin-start:-5px;margin-inline-start:-5px;width:1em;height:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-right{float:right;text-align:right}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-left{float:left;text-align:left}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-closed{display:block}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-opened{display:none}.elementor-toggle .elementor-tab-title.elementor-active{border-bottom:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-closed{display:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-opened{display:block}.elementor-toggle .elementor-tab-content{padding:15px;border-bottom:1px solid #d4d4d4;display:none}@media (max-width:767px){.elementor-toggle .elementor-tab-title{padding:12px}.elementor-toggle .elementor-tab-content{padding:12px 10px}}<\/style>\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1891\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1891\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Monotonicity in Intensional Contexts: Weakening and Pragmatic Effects under Modals and Attitudes<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1891\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1891\"><div class=\"page\" title=\"Page 179\">\n<div class=\"layoutArea\">\n<div class=\"column\">\n<p>Jialiang Yan<\/p>\n<p>ABSTRACT<\/p>\n<p>Modality holds a central position in the fields of formal semantics and modal logic. This dissertation delves into epistemic and desiderative modalities, focusing on addressing various monotonicity puzzles in modal contexts.<\/p>\n<p>Two primary topics are investigated throughout the dissertation. The first entails a systematic and unified approach to explain puzzles related to monotonicity in intensional contexts, which manifest as empirical phenomena in natural language. By these puz- zles, monotonic inferences under modal and attitude verbs appear infelicitous, thereby challenging the monotonic semantics of modalities. This dissertation suggests that these puzzles arise from pragmatic effects triggered by the typical underspecified nature of con- clusions reached by monotonic reasoning. In Chapter 4, a comprehensive analysis and a uniform account for this issue is provided.<\/p>\n<p>Another focus of this dissertation is the study of modality. The thesis employs epis- temic and desiderative modalities as examples to examine whether and how the puzzles related to monotonicity influence the semantic and logical properties of the modalities. Firstly, the interactions between knowledge, beliefs, and epistemic possibilities (expressed by the English modal verb might) are systematically investigated. In Chapter 2, a Bilateral State-based Epistemic Logic (BSEL) is proposed, exploring the concepts of knowing and believing an epistemic possibility. Specifically, it investigates the phenomenon of epis- temic might and how its non-classical properties interact with the monotonicity of know and believe.<\/p>\n<p>In Chapter 3, we broaden our discussion to include situations involving multiple agents, aiming to investigate how epistemic modals interact in multi-agent contexts. This extension is motivated by the argument that epistemic might is perspective-sensitive. Con- sequently, when it comes to claims involving epistemic might, different agents may eval- uate them differently, thereby requiring the inclusion of agency as a factor in their inter- pretation.<\/p>\n<p>Chapter 5 shifts its focus towards desiderative modality, proposing a novel logic of desire that incorporates causal inference. This proposal combines the betterness model of preference logic with the causal model of causal inference, resulting in a desire-causality model. Furthermore, a complete logic is developed for this model.<\/p>\n<p>In this dissertation, the treatment of monotonicity and modality is not conducted in isolation, but rather from the standpoint of their interaction. The investigations offer in- sights into the relationship between logic and language, semantics and pragmatics. These findings contribute to our understanding of these interrelated domains.<\/p>\n<\/div>\n<\/div>\n<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-45d3242\" data-id=\"45d3242\" 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-84b6a76 elementor-widget elementor-widget-toggle\" data-id=\"84b6a76\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1391\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1391\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Games, Boards and Play: A Logical Perspective<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1391\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1391\"><div class=\"page\" title=\"Page 179\">\n<div class=\"layoutArea\">\n<div class=\"column\">\n<p>Lei Li<\/p>\n<p>ABSTRACT<\/p>\n<p style=\"font-weight: 400;\">Games are good models for analyzing crucial notions in logical reasoning and computation. This dissertation specifically delves into game graphs, game board change, and the logical analysis of game elements across various scenarios.<\/p>\n<p style=\"font-weight: 400;\">First, we analyze two sorts of games. The first kind of games we consider are sabotage games. We provide a complete axiomatization for the validities in the language of sabotage modal logic slightly extended with just enough expressive devices from hybrid logic.<\/p>\n<p style=\"font-weight: 400;\">Our next kind of game, i.e., the distributed game, concerns the difference between players\u2019 internal view and the modeler\u2019s external view of the game as it proceeds. In Chapter 4, we study these \u2018distributed games\u2019 with special logical languages allowing us to describe local and global perspectives.<\/p>\n<p style=\"font-weight: 400;\">The remaining topics of the thesis explore two further directions.<\/p>\n<p style=\"font-weight: 400;\">First, in Chapter 5 we note that the sabotage model logics in our first part can be seen as instances of a much broader class of logics with modalities describing various model changes. We explore what is the precise complexity of testing for the appropriate notions of bisimulation between given finite models.<\/p>\n<p style=\"font-weight: 400;\">Our final topic concerns another extension of distributed games for game scenarios, namely, in the functioning of global recommender systems interacting with local individual users. In Chapter 6 we show how the filtration dynamics can be specified and analyzed completely in dynamic-epistemic logics of communication involving filtering actions.<\/p>\n<p style=\"font-weight: 400;\">Finally, we highlight some unresolved issues for further exploration based on existing research.<\/p>\n<\/div>\n<\/div>\n<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-488b096\" data-id=\"488b096\" 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-4ae1d81 elementor-widget elementor-widget-toggle\" data-id=\"4ae1d81\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-7851\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-7851\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Collective Agency: From Philosophical and Logical Perspectives<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-7851\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-7851\"><div class=\"page\" title=\"Page 179\">\n<div class=\"layoutArea\">\n<div class=\"column\">\n<p>Yiyan Wang<\/p>\n<p>ABSTRACT<\/p>\n<p>People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contribute to its decisions, but our contributions may not always align with the outcome. We may also find ourselves excluded from certain groups and passively subjected to their influences without being aware of the source. We are used to being in overlapping groups and may switch identities, supporting or opposing the claims of particular groups. But rarely do we pause to think: What do we talk about when we talk about groups and their decisions?<\/p>\n<p>At the heart of this dissertation is the question of collective agency, i.e., in what sense can we treat a group as a rational agent capable of its action. There are two perspectives we take: a philosophical and logical one. The philosophical perspective mainly discusses the ontological and epistemological issues related to collective agency, sorts out the relevant philosophical history, and argues that the combination of a relational view of collective agency and a dispositional view of collective intentionality provides a rational and realistic account. The logical perspective is associated with formal theories of groups, it disregards the psychological content involved in the philosophical perspective, establishes a logical system that is sufficiently formal and objective, and axiomatizes the nature of a collective.<\/p>\n<p>The first topic that is addressed is the ontology of collective agency, i.e., the question what exactly is collective agency. The philosophical discussion of collective agency centres around the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long influenced orthodox theories and made them face the choice between an irreducible concept of a collective and ontological reductionism. Heterodox theories such as functionalism and interpretationism reinterpret the concept of agency and accept it as also realized on the level of a collective. To adequately explain social phenomena that are essentially relational in nature, we propose a relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account.<\/p>\n<p>While acknowledging the irreducibility of the concept of a collective, we find that there is a deep incompatibility between the concept of a collective and the concept of intentionality as the mark of the mental. To explain how collective intentionality nevertheless is possible and why we tend to use it analogously to how we use the concept of individual intentionality, we explore a dispositional account of intentionality which enables us to give an account of the concept of intentionality at both the individual and collective level. Specifically, we subdivide the dispositional account into three aspects: behavioral, purely mental, and cognitive. We then argue that collective intentionality is real by analyzing different forms of attributive judgments of intentionality and by introducing the perspective of indispensable collective responsibility.<\/p>\n<p>We also analyze how philosophical theories about collective agency relate to central features of formal theories about collective decisions, such as game theory. Although the two fields are both concerned with collectives, there are also differences that need to be addressed. For example, game theory is clearly anti-psychologistic since its aim is a formal and objective analysis. However, from the relational and dispositional perspective, intentionality at the individual level and collective intentionality as we analyze it, inevitably involve mental content. In order to explain this difference and identify where the boundary is, we analyze the relationships between the three basic concepts involved, namely intentionality, preference, and dependency, so as to provide a unified picture of collective theory across philosophical and formal theories.<\/p>\n<p>After paving the nexus between philosophical and formal perspectives, the logical perspective becomes the theme of our discussion. To be able to express game theoretical concepts and to connect them to our philosophical perspective, We present a logic of preference and functional dependence and its hybrid extension, and provide an axiomatization which is sound and strongly complete. The decidability of this logic is also proved. Its application to modeling non-cooperative and cooperative games in strategic form is explored. The resulting framework provides a unified view of Nash equilibrium, Pareto optimality, and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Some critical connections with other logics are also revealed, for example, coalition logic, the logic of functional dependence, and the logic of ceteris paribus preference.<\/p>\n<p>Finally, we conclude and clarify the position of our theory in the broader field of research on the topics addressed in the thesis. Also, we point out many new questions and directions suggested by our analysis, including philosophical and logical open problems.<\/p>\n<\/div>\n<\/div>\n<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\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-f6bfbda elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f6bfbda\" 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-0d2c1e9\" data-id=\"0d2c1e9\" 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-b981fd3 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"b981fd3\" data-element_type=\"widget\" data-widget_type=\"divider.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-divider{--divider-border-style:none;--divider-border-width:1px;--divider-color:#2c2c2c;--divider-icon-size:20px;--divider-element-spacing:10px;--divider-pattern-height:24px;--divider-pattern-size:20px;--divider-pattern-url:none;--divider-pattern-repeat:repeat-x}.elementor-widget-divider .elementor-divider{display:-webkit-box;display:-ms-flexbox;display:flex}.elementor-widget-divider .elementor-divider__text{font-size:15px;line-height:1;max-width:95%}.elementor-widget-divider .elementor-divider__element{margin:0 var(--divider-element-spacing);-ms-flex-negative:0;flex-shrink:0}.elementor-widget-divider .elementor-icon{font-size:var(--divider-icon-size)}.elementor-widget-divider .elementor-divider-separator{display:-webkit-box;display:-ms-flexbox;display:flex;margin:0;direction:ltr}.elementor-widget-divider--view-line_icon .elementor-divider-separator,.elementor-widget-divider--view-line_text .elementor-divider-separator{-webkit-box-align:center;-ms-flex-align:center;align-items:center}.elementor-widget-divider--view-line_icon .elementor-divider-separator:after,.elementor-widget-divider--view-line_icon .elementor-divider-separator:before,.elementor-widget-divider--view-line_text .elementor-divider-separator:after,.elementor-widget-divider--view-line_text .elementor-divider-separator:before{display:block;content:\"\";border-bottom:0;-webkit-box-flex:1;-ms-flex-positive:1;flex-grow:1;border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--element-align-left .elementor-divider .elementor-divider-separator>.elementor-divider__svg:first-of-type{-webkit-box-flex:0;-ms-flex-positive:0;flex-grow:0;-ms-flex-negative:100;flex-shrink:100}.elementor-widget-divider--element-align-left .elementor-divider-separator:before{content:none}.elementor-widget-divider--element-align-left .elementor-divider__element{margin-left:0}.elementor-widget-divider--element-align-right .elementor-divider .elementor-divider-separator>.elementor-divider__svg:last-of-type{-webkit-box-flex:0;-ms-flex-positive:0;flex-grow:0;-ms-flex-negative:100;flex-shrink:100}.elementor-widget-divider--element-align-right .elementor-divider-separator:after{content:none}.elementor-widget-divider--element-align-right .elementor-divider__element{margin-right:0}.elementor-widget-divider:not(.elementor-widget-divider--view-line_text):not(.elementor-widget-divider--view-line_icon) .elementor-divider-separator{border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--separator-type-pattern{--divider-border-style:none}.elementor-widget-divider--separator-type-pattern.elementor-widget-divider--view-line .elementor-divider-separator,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:after,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:before,.elementor-widget-divider--separator-type-pattern:not([class*=elementor-widget-divider--view]) .elementor-divider-separator{width:100%;min-height:var(--divider-pattern-height);-webkit-mask-size:var(--divider-pattern-size) 100%;mask-size:var(--divider-pattern-size) 100%;-webkit-mask-repeat:var(--divider-pattern-repeat);mask-repeat:var(--divider-pattern-repeat);background-color:var(--divider-color);-webkit-mask-image:var(--divider-pattern-url);mask-image:var(--divider-pattern-url)}.elementor-widget-divider--no-spacing{--divider-pattern-size:auto}.elementor-widget-divider--bg-round{--divider-pattern-repeat:round}.rtl .elementor-widget-divider .elementor-divider__text{direction:rtl}<\/style>\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\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-bde699c elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"bde699c\" 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-e599b2a\" data-id=\"e599b2a\" 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-276ff27 elementor-widget elementor-widget-heading\" data-id=\"276ff27\" 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><h2 class=\"elementor-heading-title elementor-size-default\">Provisional Programme<\/h2>\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-fd57044 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fd57044\" 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-a95612f\" data-id=\"a95612f\" 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-8a7e0ec elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"8a7e0ec\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\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-d7aa648 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d7aa648\" 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-7347ad5\" data-id=\"7347ad5\" 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-8ea768c elementor-widget elementor-widget-text-editor\" data-id=\"8ea768c\" 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<ul>\n<li><b>Workshop Venue:\u00a0<\/b>ILLC, room F1.15, SP107, Amsterdam\u00a0+ Online<\/li>\n<li><strong>Programme<\/strong>:<\/li>\n<\/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\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-8d887b8 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"8d887b8\" 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-37c6806\" data-id=\"37c6806\" 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-99d6d7c elementor-widget elementor-widget-shortcode\" data-id=\"99d6d7c\" data-element_type=\"widget\" data-widget_type=\"shortcode.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-shortcode\">\n<table id=\"tablepress-18\" class=\"tablepress tablepress-id-18\">\n<tbody class=\"row-hover\">\n<tr class=\"row-1 odd\">\n\t<td class=\"column-1\">14:20-14:30<\/td><td class=\"column-2\">Welcome and Opening of the event<\/td>\n<\/tr>\n<tr class=\"row-2 even\">\n\t<td class=\"column-1\">14:30-15:00<\/td><td class=\"column-2\"> Lei Li \"Logics for Personalized Announcements\"<\/td>\n<\/tr>\n<tr class=\"row-3 odd\">\n\t<td class=\"column-1\">15:00-15:30<\/td><td class=\"column-2\">Jialiang Yan \"Formalizing and Reasoning Epistemic Might in Multi-agent Scenarios\" (online)<\/td>\n<\/tr>\n<tr class=\"row-4 even\">\n\t<td class=\"column-1\">15:30-16:00<\/td><td class=\"column-2\">Yiyan Wang \"Collective Agency in Change\"<\/td>\n<\/tr>\n<tr class=\"row-5 odd\">\n\t<td class=\"column-1\">16:00-16:20<\/td><td class=\"column-2\">Short Break<\/td>\n<\/tr>\n<tr class=\"row-6 even\">\n\t<td class=\"column-1\">16:20-17:00<\/td><td class=\"column-2\">Invited talk by Sujata Ghosh \"I Know Where You Are : An Epistemic Study on Hide and Seek Games\"<\/td>\n<\/tr>\n<tr class=\"row-7 odd\">\n\t<td class=\"column-1\">17:00-17:20<\/td><td class=\"column-2\">About the JRC (Johan van Benthem and Fenrong Liu)<\/td>\n<\/tr>\n<tr class=\"row-8 even\">\n\t<td class=\"column-1\">17:20-17:30<\/td><td class=\"column-2\">Closing words (Robert van Rooij, director of the ILLC)<\/td>\n<\/tr>\n<tr class=\"row-9 odd\">\n\t<td class=\"column-1\">17:30 - 19:00<\/td><td class=\"column-2\">Drinks<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-18 from cache --><\/div>\n\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-835a3c6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"835a3c6\" 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-029ed5b\" data-id=\"029ed5b\" 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-4934184 elementor-widget elementor-widget-text-editor\" data-id=\"4934184\" 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<ul>\n<li><strong>Organizers:<\/strong>\n<ul>\n<li>Sonja Smets\u00a0(ILLC, University of Amsterdam)<\/li>\n<li>Lei Li , Yiyan Wang, Jialiang Yan\u00a0(Tsinghua + ILLC, University of Amsterdam)<\/li>\n<\/ul>\n<\/li>\n<li><strong>Sponsor:\u00a0<\/strong>The event is sponsored \u00a0by JRC@ILLC<\/li>\n<\/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\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-0f88e11 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"0f88e11\" 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-6092e1c\" data-id=\"6092e1c\" 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-9b3c33c elementor-widget elementor-widget-spacer\" data-id=\"9b3c33c\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\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-2b5123b elementor-section-content-middle elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"2b5123b\" 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-33 elementor-top-column elementor-element elementor-element-048c4a9\" data-id=\"048c4a9\" 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-af0f043 elementor-widget elementor-widget-image\" data-id=\"af0f043\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/www.tsinghua.edu.cn\/en\/\" target=\"_blank\">\n\t\t\t\t\t\t\t<img decoding=\"async\" width=\"1140\" height=\"641\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2247-scaled.jpg\" class=\"elementor-animation-grow attachment-large size-large\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2247-scaled.jpg 2560w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2247-200x113.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2247-768x432.jpg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2247-1536x864.jpg 1536w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2247-2048x1152.jpg 2048w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2247-1110x624.jpg 1110w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/WechatIMG2247-528x297.jpg 528w\" sizes=\"(max-width: 1140px) 100vw, 1140px\" \/>\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\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<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-9f268c5\" data-id=\"9f268c5\" 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<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-14ddd26 elementor-section-content-middle elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"14ddd26\" 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-50 elementor-inner-column elementor-element elementor-element-185e27e\" data-id=\"185e27e\" 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-0999b4c elementor-widget elementor-widget-image\" data-id=\"0999b4c\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/elementor\/thumbs\/tsinghua-logo-p73yudfy9y6aul6ddevlosj46cmbm5cxo0d309ytwo.jpeg\" title=\"tsinghua-logo\" alt=\"tsinghua-logo\" \/>\t\t\t\t\t\t\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<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-6900dcd\" data-id=\"6900dcd\" 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-c83d892 elementor-widget elementor-widget-image\" data-id=\"c83d892\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"80\" height=\"80\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/uva-80x80.png\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/uva-80x80.png 80w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/uva-200x200.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/uva.png 225w\" sizes=\"(max-width: 80px) 100vw, 80px\" \/>\t\t\t\t\t\t\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\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-6846ffb\" data-id=\"6846ffb\" 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-8b5ebaa elementor-widget elementor-widget-image\" data-id=\"8b5ebaa\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/www.uva.nl\/en\" target=\"_blank\">\n\t\t\t\t\t\t\t<img decoding=\"async\" width=\"1024\" height=\"586\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/campus-fotos-4-e1691737480987.jpeg\" class=\"elementor-animation-grow attachment-large size-large\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/campus-fotos-4-e1691737480987.jpeg 1024w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/campus-fotos-4-e1691737480987-200x114.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/08\/campus-fotos-4-e1691737480987-768x440.jpeg 768w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/>\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\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\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>The joint research center for Logic at both Tsinghua Un [&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\/6408"}],"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=6408"}],"version-history":[{"count":45,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6408\/revisions"}],"predecessor-version":[{"id":6490,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6408\/revisions\/6490"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=6408"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}