{"id":4772,"date":"2022-08-29T14:34:15","date_gmt":"2022-08-29T12:34:15","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4772"},"modified":"2022-10-14T17:04:06","modified_gmt":"2022-10-14T15:04:06","slug":"4772","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2022\/08\/4772\/","title":{"rendered":"LIRa session: Lingyuan Ye"},"content":{"rendered":"<p>Speaker: <span aria-label=\"Lingyuan Ye (From your Google Contacts)\" data-tooltip=\"From your Google Contacts\" data-tooltip-position=\"top\">Lingyuan Ye<\/span><\/p>\n<p>Date and Time: Thursday, October&nbsp;6th 2022, 16:30-18:00<\/p>\n<p>Venue: ILLC seminar room F1.15 in Science Park 107 <strong>and<\/strong> <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a>.<\/p>\n<p>Title:\u00a0<strong>Unification of Semantics of Modal Logic via Topological Categories<\/strong><\/p>\n<p><em>Abstract. <\/em>In this talk we will provide a unifying description of different types of semantics of modal logic found in the literature, via topological categories. In particular, we will show how the natural extensions of basic modal logic, including multi-agency, epistemic dependence, group agency, and logical dynamics, could be naturally associated to various semantic structures within topological categories. The unifying description and such correspondence would allow us to generalise the interpretation of these extensions simultaneously to any semantics of modal logic, and prove certain structural results about them in the style of categorical logic.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Lingyuan Ye<br \/>\nDate and Time: Thursday, October&nbsp;6th 2022, 16:30-18:00<br \/>\nVenue: ILLC seminar room F1.15 in Science Park 107 and online.<br \/>\nTitle:\u00a0Unification of Semantics of Modal Logic via Topological Categories<br \/>\nAbstract. In this talk we will provide a unifying description of different types of semantics of modal logic found in the literature, via topological categories. In particular, we will [&#8230;]<\/p>\n","protected":false},"author":15,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4772","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4772","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/15"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4772"}],"version-history":[{"count":11,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4772\/revisions"}],"predecessor-version":[{"id":4829,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4772\/revisions\/4829"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4772"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4772"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4772"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}