{"id":2216,"date":"2014-02-05T11:51:53","date_gmt":"2014-02-05T11:51:53","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2216"},"modified":"2014-02-05T19:20:32","modified_gmt":"2014-02-05T19:20:32","slug":"lira-session-facundo-carreiro","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2014\/02\/lira-session-facundo-carreiro\/","title":{"rendered":"LIRa Session: Facundo Carreiro"},"content":{"rendered":"<p><em>Please note that in February and March the LIRa seminar will be held on WEDNESDAYS at 4:30.<\/em><\/p>\n<p>On WEDNESDAY,\u00a0February 12,<strong> <\/strong>we will have a LIRa session with<strong> Facundo Carreiro<\/strong>. Everyone is cordially invited!<\/p>\n<p>Speaker:\u00a0<strong>Facundo Carreiro <\/strong>(University of Amsterdam)<br \/>\nTitle:\u00a0<span style=\"font-style: italic;\"><strong>Announcements in Coalgebraic Modal Logic<\/strong><br \/>\n<\/span>Date and Time: Wednesday, February 12, 2014,\u00a0<strong>16:30-18:00<br \/>\n<\/strong>Venue: Science Park 107, Room\u00a0<strong>F1.15<\/strong><\/p>\n<p>Abstract:<\/p>\n<blockquote>\n<div dir=\"ltr\">In epistemic logic, dynamic operators describe the evolution of the knowledge of participating agents through communication, one of the most basic forms of communication being public announcement. Semantically, dynamic operators correspond to transformations of the underlying model. While metatheoretic results on dynamic epistemic logic so far are largely limited to the setting of Kripke models, there is evident interest in extending its scope to non-relational modalities capturing, e.g., uncertainty or collaboration. We develop a generic framework for non-relational dynamic logic by adding dynamic operators to coalgebraic logic. We discuss a range of examples and establish basic results including bisimulation invariance, complexity, and a small model property.<\/div>\n<\/blockquote>\n<blockquote>\n<div dir=\"ltr\">The talk is based on the paper published in ICALP 2013, available at:\u00a0<a href=\"http:\/\/glyc.dc.uba.ar\/facu\/papers\/coalg-announcements.pdf\" target=\"_blank\">http:\/\/glyc.dc.uba.ar\/facu\/papers\/coalg-announcements.pdf<\/a>.<\/div>\n<\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>Please note that in February and March the LIRa seminar will be held on WEDNESDAYS at 4:30.<br \/>\nOn WEDNESDAY,\u00a0February 12, we will have a LIRa session with Facundo Carreiro. Everyone is cordially invited!<br \/>\nSpeaker:\u00a0Facundo Carreiro (University of Amsterdam)<br \/>\nTitle:\u00a0Announcements in Coalgebraic Modal Logic<br \/>\nDate and Time: Wednesday, February 12, 2014,\u00a016:30-18:00<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<br \/>\nAbstract:<\/p>\n<p>In epistemic logic, dynamic operators describe [&#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-2216","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\/2216","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=2216"}],"version-history":[{"count":12,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2216\/revisions"}],"predecessor-version":[{"id":2221,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2216\/revisions\/2221"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2216"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2216"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2216"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}