{"id":1606,"date":"2012-10-22T17:00:12","date_gmt":"2012-10-22T17:00:12","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1606"},"modified":"2012-10-22T17:07:20","modified_gmt":"2012-10-22T17:07:20","slug":"lira-session-giuseppe-greco-and-alessandra-palmigiano","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2012\/10\/lira-session-giuseppe-greco-and-alessandra-palmigiano\/","title":{"rendered":"LIRa Session: Giuseppe Greco and Alessandra Palmigiano"},"content":{"rendered":"<p>On October 25,\u00a0<strong>Giuseppe Greco <\/strong>and<strong> Alessandra Palmigiano<\/strong> will give a LIRa talk. Everyone is cordially invited!<\/p>\n<p><strong>Speakers:<\/strong> Giuseppe Greco and Alessandra Palmigiano<br \/>\n<strong>Title:<\/strong> Epistemic updates on algebras, and display-style sequent calculi\u00a0for dynamic logics<br \/>\n<strong>Room:<\/strong> Science Park 904, D1.113<br \/>\n<strong>Time:<\/strong> Thursday, 25 October, 15:30-17:30<\/p>\n<p><strong>Abstract: <\/strong>Dynamic logics are nicely behaved from a computational point\u00a0of view; however, in some cases, such as the Dynamic Epistemic Logics\u00a0(DEL),\u00a0they lack properties such as the closure under uniform substitution. This\u00a0makes their algebraic and proof-theoretic behaviour not so\u00a0straightforward.<\/p>\n<p>Several proof-systems have been proposed in the literature, which are not\u00a0entirely satisfactory, either because they are too restricted and not\u00a0easily\u00a0generalizable, or because they are unintuitive, or because they are not\u00a0sound\u00a0with respect to the standard relational semantics.<\/p>\n<p>In this talk, we present:<\/p>\n<p>(a) a general, algebra-based semantics for the logic of public\u00a0announcements (PAL) and for the Baltag-Moss-Solecki logic (BMS). This\u00a0semantics is grounded on a construction on algebras which generalizes\u00a0epistemic updates on relational models. This generalized semantics leads\u00a0to a (semantically motivated) axiomatic definition of the counterparts of\u00a0PAL and BMS on a weaker than classical propositional base;<\/p>\n<p>(b) display-style, cut-free sequent calculi for both the intuitionistic\u00a0and the classical versions of PAL and BMS. Besides being very transparent,\u00a0these calculi are sound and complete\u00a0with respect to both the algebraic and the relational semantics of PAL,\u00a0and\u00a0enjoy a weaker form of display property, which is still enough to prove\u00a0the\u00a0cut-admissibility. These calculi are also modular, so just by modifying\u00a0the\u00a0structural rules, they are generalizable both to different Dynamic Logics\u00a0(Epistemic, Deontic, etc.) and to different propositional bases (Linear,\u00a0Relevant, etc.).\u00a0We will focus in particular on the weak display property and discuss the\u00a0generalizations to other dynamic logics.<\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>On October 25,\u00a0Giuseppe Greco and Alessandra Palmigiano will give a LIRa talk. Everyone is cordially invited!<br \/>\nSpeakers: Giuseppe Greco and Alessandra Palmigiano<br \/>\nTitle: Epistemic updates on algebras, and display-style sequent calculi\u00a0for dynamic logics<br \/>\nRoom: Science Park 904, D1.113<br \/>\nTime: Thursday, 25 October, 15:30-17:30<br \/>\nAbstract: Dynamic logics are nicely behaved from a computational point\u00a0of view; however, in some cases, such as [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14,4],"tags":[],"class_list":["post-1606","post","type-post","status-publish","format-standard","hentry","category-all","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1606","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=1606"}],"version-history":[{"count":26,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1606\/revisions"}],"predecessor-version":[{"id":1626,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1606\/revisions\/1626"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1606"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1606"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1606"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}