{"id":1461,"date":"2012-03-20T16:13:15","date_gmt":"2012-03-20T16:13:15","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1461"},"modified":"2012-05-29T16:50:23","modified_gmt":"2012-05-29T16:50:23","slug":"lira-session-with-alexandru-baltag-and-jort-bergfeld","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2012\/03\/lira-session-with-alexandru-baltag-and-jort-bergfeld\/","title":{"rendered":"LIRa Session with Alexandru Baltag and Jort Bergfeld"},"content":{"rendered":"<p>On Tuesday, May 29, at 3 p.m., Alexandru Baltag (ILLC) and Jort Bergfeld (ILLC) will give a talk at the LIRa seminar: <strong>The &#8220;Quantum Paradise&#8221;: (Second-Order) Quantum Logic is Decidable!<\/strong> The talk will take place in Science Park, Room A1.04. Please find the abstract below.<\/p>\n<p><strong>Abstract:<\/strong><br \/>\nWe present (and briefly motivate) a family of dynamic logics of quantum programs (LQP) [introduced by Baltag and Smets]. We provide a decidability proof for these logics over finitely many &#8220;qubits&#8221; (i.e. with respect to the class of finite-dimensional Hilbert spaces).  The proof method is based on extending an idea used by Dunn, Hagge, Moss, and Wang in their decidability proof for standard (propositional) quantum logic (over finite-dimensional spaces). Our revised technique is general enough to be applied to an even wider range of quantum logics: indeed, in the second part of the talk we extend our decidability result to Quantified Dynamic Quantum Logics (obtained by adding quantifiers over propositions and actions), and even to a version of Second-Order Quantum Logic! This presentation is based on joint work of the speakers with Sonja Smets and Kohei Kishida (as well as on-going work with them and Shengyang Zhong).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>On Tuesday, May 29, at 3 p.m., Alexandru Baltag (ILLC) and Jort Bergfeld (ILLC) will give a talk at the LIRa seminar: The &#8220;Quantum Paradise&#8221;: (Second-Order) Quantum Logic is Decidable! The talk will take place in Science Park, Room A1.04. Please find the abstract below.<br \/>\nAbstract:<br \/>\nWe present (and briefly motivate) a family of dynamic logics of [&#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-1461","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\/1461","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=1461"}],"version-history":[{"count":9,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1461\/revisions"}],"predecessor-version":[{"id":1526,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1461\/revisions\/1526"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1461"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1461"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1461"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}