{"id":5195,"date":"2024-08-05T16:36:00","date_gmt":"2024-08-05T14:36:00","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=5195"},"modified":"2024-10-25T10:23:49","modified_gmt":"2024-10-25T08:23:49","slug":"lira-session-igor-sedlar","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2024\/08\/lira-session-igor-sedlar\/","title":{"rendered":"LIRa session: Igor Sedl\u00e1r"},"content":{"rendered":"<p>Speaker: <a href=\"https:\/\/www.cs.cas.cz\/sedlar\/\">Igor Sedl\u00e1r<\/a> (Czech Academy of Science)<\/p>\n<p>Date and Time: Thursday, October&nbsp;31st 2024, 16:30-18:00<\/p>\n<p>Venue: online<\/p>\n<p>Title:\u00a0<strong>On the Dynamics of Dynamic Attitudes<\/strong><\/p>\n<p><em>Abstract.<\/em> In events involving information updates, the source of the update-causing information often determines how the information is received and, consequently, what specific update different agents undergo. Logics in which sources of update-causing information are explicitly modelled, and in which agents&#8217; attitudes towards particular pieces of information coming from particular sources are taken into account, are relatively rare in the dynamic epistemic logic literature. An example is provided by Rodenh\u00e4user&#8217;s logics of information updates with dynamic attitudes, developed in <a href=\"https:\/\/eprints.illc.uva.nl\/id\/eprint\/2125\/\">his Ph.D. thesis (ILLC, 2014)<\/a>.<br \/>\nWe simplify and transpose Rodenh\u00e4user&#8217;s framework to the setting of Public Announcement Logic, and extend it with mechanisms that represent changes in agents&#8217; attitudes towards specific pieces of information from specific sources &#8211; dynamics of dynamic attitudes. As this is a work-in-progress talk and mostly programmatic, we focus on examples and present only a handful of technical results, mostly related to completeness via reduction axioms.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Igor Sedl\u00e1r (Czech Academy of Science)<br \/>\nDate and Time: Thursday, October&nbsp;31st 2024, 16:30-18:00<br \/>\nVenue: online<br \/>\nTitle:\u00a0On the Dynamics of Dynamic Attitudes<br \/>\nAbstract. In events involving information updates, the source of the update-causing information often determines how the information is received and, consequently, what specific update different agents undergo. Logics in which sources of update-causing information are explicitly modelled, [&#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-5195","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\/5195","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=5195"}],"version-history":[{"count":5,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5195\/revisions"}],"predecessor-version":[{"id":5260,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5195\/revisions\/5260"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5195"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5195"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5195"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}