{"id":4891,"date":"2023-02-08T08:59:39","date_gmt":"2023-02-08T07:59:39","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4891"},"modified":"2023-03-17T09:25:25","modified_gmt":"2023-03-17T08:25:25","slug":"joint-llama-and-lira-session-johan-van-benthem-and-nick-bezhanishvili","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2023\/02\/joint-llama-and-lira-session-johan-van-benthem-and-nick-bezhanishvili\/","title":{"rendered":"Joint LLAMA and LIRa session: Johan van Benthem and Nick Bezhanishvili"},"content":{"rendered":"<p>This was a joint session together with <a href=\"https:\/\/events.illc.uva.nl\/llama\/\">the LLAMA seminar<\/a>.<\/p>\n<p>Speakers: Johan van Benthem &amp; Nick Bezhanishvili (ILLC, University of Amsterdam)<\/p>\n<p>Date and Time: Thursday, March&nbsp;9th 2023, 16:30-18:00<\/p>\n<p>Venue: ILLC seminar room F1.15 in Science Park 107 and <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a>.<\/p>\n<p>Title:\u00a0<strong>Modal Structures in Groups and Vector Spaces<\/strong><\/p>\n<p><em>Abstract.<\/em> We analyze modal definability and axiomatizability of modal reasoning in commutative groups and vector spaces, showing where standard modal notions apply and where the fit is less ideal. Our positive results include several completeness theorems using techniques from hybrid logic. In the process, we also identify broader connections with complex algebras, substructural logics, and logics of (in-)dependence.<\/p>\n<p>The talk is based on the recently published article <em> Modal structures in groups and vector spaces<\/em>, in the Journal of Logic and Computation (February 2023).<br \/>\nopen access: <a href=\"https:\/\/doi.org\/10.1093\/logcom\/exac105\">https:\/\/doi.org\/10.1093\/logcom\/exac105<\/a><\/p>\n<p><strong>Note:<\/strong> The <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/files\/Johan%20van%20Benthem%20and%20Nick%20Bezhanishvili%20-%20Modal%20Structures%20in%20Groups%20and%20Vector%20Spaces%20(slides%20from%20LIRa%202023-03-09).pdf\">slides of this talk are available here<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This was a joint session together with the LLAMA seminar.<br \/>\nSpeakers: Johan van Benthem &amp; Nick Bezhanishvili (ILLC, University of Amsterdam)<br \/>\nDate and Time: Thursday, March&nbsp;9th 2023, 16:30-18:00<br \/>\nVenue: ILLC seminar room F1.15 in Science Park 107 and online.<br \/>\nTitle:\u00a0Modal Structures in Groups and Vector Spaces<br \/>\nAbstract. We analyze modal definability and axiomatizability of modal reasoning in commutative groups and [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4891","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\/4891","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\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4891"}],"version-history":[{"count":10,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4891\/revisions"}],"predecessor-version":[{"id":4923,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4891\/revisions\/4923"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4891"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4891"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4891"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}