{"id":1513,"date":"2019-12-17T17:17:56","date_gmt":"2019-12-17T20:17:56","guid":{"rendered":"http:\/\/www.lia-sinfin.org\/?p=1513"},"modified":"2019-12-17T17:17:56","modified_gmt":"2019-12-17T20:17:56","slug":"two-new-publications","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=1513","title":{"rendered":"Two new publications"},"content":{"rendered":"\n<p>St\u00e9phane  Demri and Raul Fervari. \u201cThe Power of Modal Separation Logics\u201d.  Accepted in Journal of Logic and Computation (JLC), to appear. <\/p>\n\n\n\n<p><\/p>\n\n\n\n<p>St\u00e9phane  Demri, Raul Fervari, Alessio Mansutti. \u201cAxiomatising Logics with  Separating Conjunction and Modalities\u201d. In Proceedings of the 16th  European Conference on Logics in Artificial Intelligence (JELIA 2019),  volume 11468 of LNCS, pages 692-708, Springer 2019 <\/p>\n","protected":false},"excerpt":{"rendered":"<p>St\u00e9phane Demri and Raul Fervari. \u201cThe Power of Modal Separation Logics\u201d. Accepted in Journal of Logic and Computation (JLC), to appear. St\u00e9phane Demri, Raul Fervari, Alessio Mansutti. \u201cAxiomatising Logics with Separating Conjunction and Modalities\u201d. In Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), volume 11468 of LNCS, pages 692-708, Springer &hellip; <a href=\"http:\/\/www.irp-sinfin.org\/?p=1513\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Two new publications<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-1513","post","type-post","status-publish","format-standard","hentry","category-paper"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/1513","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1513"}],"version-history":[{"count":1,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/1513\/revisions"}],"predecessor-version":[{"id":1514,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/1513\/revisions\/1514"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1513"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1513"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1513"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}