{"id":4992,"date":"2023-08-06T13:31:16","date_gmt":"2023-08-06T11:31:16","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4992"},"modified":"2023-09-11T18:26:39","modified_gmt":"2023-09-11T16:26:39","slug":"lira-session-daniil-khaitovich","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2023\/08\/lira-session-daniil-khaitovich\/","title":{"rendered":"LIRa session: Daniil Khaitovich"},"content":{"rendered":"<ul>\n<li>The <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/files\/2023-09-07-DaniilKhaitovich-LIRa-Fixing-Group-STIT.pdf\">slides of this talk are available here<\/a>.<\/li>\n<li>A <a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+2023-09-07+by+Daniil+Khaitovich\/0_jw4l4nkp\"><em>partial<\/em> recording of this talk is available here<\/a>.<\/li>\n<\/ul>\n<hr \/>\n<p>Speaker: Daniil Khaitovich (ILLC)<\/p>\n<p>Date and Time: Thursday, September&nbsp;7th 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: <strong>Fixing group STIT logic<\/strong><\/p>\n<p><em>Abstract.\u00a0<\/em>STIT is a modal logic of agency to formalize statements of the form &#8220;agent i sees to it that \u03c6&#8221;. One of its extensions, group STIT, allows to reason not only about individual agents, but about coalitions as well. The main advantage of that extension is its expressivity: it was shown that it is strictly more expressive than other popular multi-agent modal logics with coalitions such as Coalition logic or Alternating-time temporal logic. Nevertheless, it does not come for free: group STIT is neither decidable nor finitely axiomatizable.<br \/>\nDuring the talk, we will identify one conceptual problem with group STIT \u2014 the way groups and their actions are treated \u2014 and show the weaker version of logic to escape it, providing it with finite axiom system and proving its decidability as well. A number of connections with logic of dependence and relativized cylindric algebras will be shown as well.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The slides of this talk are available here.<br \/>\nA partial recording of this talk is available here.<\/p>\n<p>Speaker: Daniil Khaitovich (ILLC)<br \/>\nDate and Time: Thursday, September&nbsp;7th 2023, 16:30-18:00<br \/>\nVenue: ILLC seminar room F1.15 in Science Park 107 and online<br \/>\nTitle: Fixing group STIT logic<br \/>\nAbstract.\u00a0STIT is a modal logic of agency to formalize statements of the form &#8220;agent i sees to [&#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-4992","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\/4992","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=4992"}],"version-history":[{"count":6,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4992\/revisions"}],"predecessor-version":[{"id":5017,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4992\/revisions\/5017"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4992"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4992"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4992"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}