{"id":4251,"date":"2023-05-15T18:49:53","date_gmt":"2023-05-15T18:49:53","guid":{"rendered":"https:\/\/isipta23.sipta.org\/?page_id=4251"},"modified":"2023-07-13T07:42:10","modified_gmt":"2023-07-13T07:42:10","slug":"long-corsi","status":"publish","type":"page","link":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/","title":{"rendered":"Long Corsi"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"4251\" class=\"elementor elementor-4251\" data-elementor-post-type=\"page\">\n\t\t\t\t\t\t\t\t\t<section data-eae-particle=\"{\n  &quot;particles&quot;: {\n    &quot;number&quot;: {\n      &quot;value&quot;: 80,\n      &quot;density&quot;: {\n        &quot;enable&quot;: true,\n        &quot;value_area&quot;: 800\n      }\n    },\n    &quot;color&quot;: {\n      &quot;value&quot;: &quot;#ffffff&quot;\n    },\n    &quot;shape&quot;: {\n      &quot;type&quot;: &quot;circle&quot;,\n      &quot;stroke&quot;: {\n        &quot;width&quot;: 0,\n        &quot;color&quot;: &quot;#000000&quot;\n      },\n      &quot;polygon&quot;: {\n        &quot;nb_sides&quot;: 5\n      },\n      &quot;image&quot;: {\n        &quot;src&quot;: &quot;img\/github.svg&quot;,\n        &quot;width&quot;: 100,\n        &quot;height&quot;: 100\n      }\n    },\n    &quot;opacity&quot;: {\n      &quot;value&quot;: 0.5,\n      &quot;random&quot;: false,\n      &quot;anim&quot;: {\n        &quot;enable&quot;: false,\n        &quot;speed&quot;: 1,\n        &quot;opacity_min&quot;: 0.1,\n        &quot;sync&quot;: false\n      }\n    },\n    &quot;size&quot;: {\n      &quot;value&quot;: 3,\n      &quot;random&quot;: true,\n      &quot;anim&quot;: {\n        &quot;enable&quot;: false,\n        &quot;speed&quot;: 40,\n        &quot;size_min&quot;: 0.1,\n        &quot;sync&quot;: false\n      }\n    },\n    &quot;line_linked&quot;: {\n      &quot;enable&quot;: true,\n      &quot;distance&quot;: 150,\n      &quot;color&quot;: &quot;#ffffff&quot;,\n      &quot;opacity&quot;: 0.4,\n      &quot;width&quot;: 1\n    },\n    &quot;move&quot;: {\n      &quot;enable&quot;: true,\n      &quot;speed&quot;: 6,\n      &quot;direction&quot;: &quot;none&quot;,\n      &quot;random&quot;: false,\n      &quot;straight&quot;: false,\n      &quot;out_mode&quot;: &quot;out&quot;,\n      &quot;bounce&quot;: false,\n      &quot;attract&quot;: {\n        &quot;enable&quot;: false,\n        &quot;rotateX&quot;: 600,\n        &quot;rotateY&quot;: 1200\n      }\n    }\n  },\n  &quot;interactivity&quot;: {\n    &quot;detect_on&quot;: &quot;canvas&quot;,\n    &quot;events&quot;: {\n      &quot;onhover&quot;: {\n        &quot;enable&quot;: true,\n        &quot;mode&quot;: &quot;repulse&quot;\n      },\n      &quot;onclick&quot;: {\n        &quot;enable&quot;: true,\n        &quot;mode&quot;: &quot;push&quot;\n      },\n      &quot;resize&quot;: true\n    },\n    &quot;modes&quot;: {\n      &quot;grab&quot;: {\n        &quot;distance&quot;: 400,\n        &quot;line_linked&quot;: {\n          &quot;opacity&quot;: 1\n        }\n      },\n      &quot;bubble&quot;: {\n        &quot;distance&quot;: 400,\n        &quot;size&quot;: 40,\n        &quot;duration&quot;: 2,\n        &quot;opacity&quot;: 8,\n        &quot;speed&quot;: 3\n      },\n      &quot;repulse&quot;: {\n        &quot;distance&quot;: 200,\n        &quot;duration&quot;: 0.4\n      },\n      &quot;push&quot;: {\n        &quot;particles_nb&quot;: 4\n      },\n      &quot;remove&quot;: {\n        &quot;particles_nb&quot;: 2\n      }\n    }\n  },\n  &quot;retina_detect&quot;: true\n}\" class=\"elementor-section elementor-top-section elementor-element elementor-element-922e127 elementor-section-height-min-height eae-particle-yes elementor-section-boxed elementor-section-height-default elementor-section-items-middle\" data-id=\"922e127\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;shape_divider_bottom&quot;:&quot;wave-brush&quot;}\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-shape elementor-shape-bottom\" data-negative=\"false\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 283.5 27.8\" preserveAspectRatio=\"none\">\n\t<path class=\"elementor-shape-fill\" d=\"M283.5,9.7c0,0-7.3,4.3-14,4.6c-6.8,0.3-12.6,0-20.9-1.5c-11.3-2-33.1-10.1-44.7-5.7\ts-12.1,4.6-18,7.4c-6.6,3.2-20,9.6-36.6,9.3C131.6,23.5,99.5,7.2,86.3,8c-1.4,0.1-6.6,0.8-10.5,2c-3.8,1.2-9.4,3.8-17,4.7\tc-3.2,0.4-8.3,1.1-14.2,0.9c-1.5-0.1-6.3-0.4-12-1.6c-5.7-1.2-11-3.1-15.8-3.7C6.5,9.2,0,10.8,0,10.8V0h283.5V9.7z M260.8,11.3\tc-0.7-1-2-0.4-4.3-0.4c-2.3,0-6.1-1.2-5.8-1.1c0.3,0.1,3.1,1.5,6,1.9C259.7,12.2,261.4,12.3,260.8,11.3z M242.4,8.6\tc0,0-2.4-0.2-5.6-0.9c-3.2-0.8-10.3-2.8-15.1-3.5c-8.2-1.1-15.8,0-15.1,0.1c0.8,0.1,9.6-0.6,17.6,1.1c3.3,0.7,9.3,2.2,12.4,2.7\tC239.9,8.7,242.4,8.6,242.4,8.6z M185.2,8.5c1.7-0.7-13.3,4.7-18.5,6.1c-2.1,0.6-6.2,1.6-10,2c-3.9,0.4-8.9,0.4-8.8,0.5\tc0,0.2,5.8,0.8,11.2,0c5.4-0.8,5.2-1.1,7.6-1.6C170.5,14.7,183.5,9.2,185.2,8.5z M199.1,6.9c0.2,0-0.8-0.4-4.8,1.1\tc-4,1.5-6.7,3.5-6.9,3.7c-0.2,0.1,3.5-1.8,6.6-3C197,7.5,199,6.9,199.1,6.9z M283,6c-0.1,0.1-1.9,1.1-4.8,2.5s-6.9,2.8-6.7,2.7\tc0.2,0,3.5-0.6,7.4-2.5C282.8,6.8,283.1,5.9,283,6z M31.3,11.6c0.1-0.2-1.9-0.2-4.5-1.2s-5.4-1.6-7.8-2C15,7.6,7.3,8.5,7.7,8.6\tC8,8.7,15.9,8.3,20.2,9.3c2.2,0.5,2.4,0.5,5.7,1.6S31.2,11.9,31.3,11.6z M73,9.2c0.4-0.1,3.5-1.6,8.4-2.6c4.9-1.1,8.9-0.5,8.9-0.8\tc0-0.3-1-0.9-6.2-0.3S72.6,9.3,73,9.2z M71.6,6.7C71.8,6.8,75,5.4,77.3,5c2.3-0.3,1.9-0.5,1.9-0.6c0-0.1-1.1-0.2-2.7,0.2\tC74.8,5.1,71.4,6.6,71.6,6.7z M93.6,4.4c0.1,0.2,3.5,0.8,5.6,1.8c2.1,1,1.8,0.6,1.9,0.5c0.1-0.1-0.8-0.8-2.4-1.3\tC97.1,4.8,93.5,4.2,93.6,4.4z M65.4,11.1c-0.1,0.3,0.3,0.5,1.9-0.2s2.6-1.3,2.2-1.2s-0.9,0.4-2.5,0.8C65.3,10.9,65.5,10.8,65.4,11.1\tz M34.5,12.4c-0.2,0,2.1,0.8,3.3,0.9c1.2,0.1,2,0.1,2-0.2c0-0.3-0.1-0.5-1.6-0.4C36.6,12.8,34.7,12.4,34.5,12.4z M152.2,21.1\tc-0.1,0.1-2.4-0.3-7.5-0.3c-5,0-13.6-2.4-17.2-3.5c-3.6-1.1,10,3.9,16.5,4.1C150.5,21.6,152.3,21,152.2,21.1z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M269.6,18c-0.1-0.1-4.6,0.3-7.2,0c-7.3-0.7-17-3.2-16.6-2.9c0.4,0.3,13.7,3.1,17,3.3\tC267.7,18.8,269.7,18,269.6,18z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M227.4,9.8c-0.2-0.1-4.5-1-9.5-1.2c-5-0.2-12.7,0.6-12.3,0.5c0.3-0.1,5.9-1.8,13.3-1.2\tS227.6,9.9,227.4,9.8z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M204.5,13.4c-0.1-0.1,2-1,3.2-1.1c1.2-0.1,2,0,2,0.3c0,0.3-0.1,0.5-1.6,0.4\tC206.4,12.9,204.6,13.5,204.5,13.4z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M201,10.6c0-0.1-4.4,1.2-6.3,2.2c-1.9,0.9-6.2,3.1-6.1,3.1c0.1,0.1,4.2-1.6,6.3-2.6\tS201,10.7,201,10.6z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M154.5,26.7c-0.1-0.1-4.6,0.3-7.2,0c-7.3-0.7-17-3.2-16.6-2.9c0.4,0.3,13.7,3.1,17,3.3\tC152.6,27.5,154.6,26.8,154.5,26.7z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M41.9,19.3c0,0,1.2-0.3,2.9-0.1c1.7,0.2,5.8,0.9,8.2,0.7c4.2-0.4,7.4-2.7,7-2.6\tc-0.4,0-4.3,2.2-8.6,1.9c-1.8-0.1-5.1-0.5-6.7-0.4S41.9,19.3,41.9,19.3z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M75.5,12.6c0.2,0.1,2-0.8,4.3-1.1c2.3-0.2,2.1-0.3,2.1-0.5c0-0.1-1.8-0.4-3.4,0\tC76.9,11.5,75.3,12.5,75.5,12.6z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M15.6,13.2c0-0.1,4.3,0,6.7,0.5c2.4,0.5,5,1.9,5,2c0,0.1-2.7-0.8-5.1-1.4\tC19.9,13.7,15.7,13.3,15.6,13.2z\"\/>\n<\/svg>\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-b1b1d02\" data-id=\"b1b1d02\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-cd1ef36 elementor-widget elementor-widget-image\" data-id=\"cd1ef36\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" loading=\"lazy\" width=\"1024\" height=\"128\" src=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png\" class=\"attachment-large size-large wp-image-546\" alt=\"LogoISIPTA23-long-white\" srcset=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png 1024w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-300x38.png 300w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-768x96.png 768w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white.png 1284w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-017a3c3 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"017a3c3\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-divider{--divider-border-style:none;--divider-border-width:1px;--divider-color:#0c0d0e;--divider-icon-size:20px;--divider-element-spacing:10px;--divider-pattern-height:24px;--divider-pattern-size:20px;--divider-pattern-url:none;--divider-pattern-repeat:repeat-x}.elementor-widget-divider .elementor-divider{display:flex}.elementor-widget-divider .elementor-divider__text{font-size:15px;line-height:1;max-width:95%}.elementor-widget-divider .elementor-divider__element{margin:0 var(--divider-element-spacing);flex-shrink:0}.elementor-widget-divider .elementor-icon{font-size:var(--divider-icon-size)}.elementor-widget-divider .elementor-divider-separator{display:flex;margin:0;direction:ltr}.elementor-widget-divider--view-line_icon .elementor-divider-separator,.elementor-widget-divider--view-line_text .elementor-divider-separator{align-items:center}.elementor-widget-divider--view-line_icon .elementor-divider-separator:after,.elementor-widget-divider--view-line_icon .elementor-divider-separator:before,.elementor-widget-divider--view-line_text .elementor-divider-separator:after,.elementor-widget-divider--view-line_text .elementor-divider-separator:before{display:block;content:\"\";border-bottom:0;flex-grow:1;border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--element-align-left .elementor-divider .elementor-divider-separator>.elementor-divider__svg:first-of-type{flex-grow:0;flex-shrink:100}.elementor-widget-divider--element-align-left .elementor-divider-separator:before{content:none}.elementor-widget-divider--element-align-left .elementor-divider__element{margin-left:0}.elementor-widget-divider--element-align-right .elementor-divider .elementor-divider-separator>.elementor-divider__svg:last-of-type{flex-grow:0;flex-shrink:100}.elementor-widget-divider--element-align-right .elementor-divider-separator:after{content:none}.elementor-widget-divider--element-align-right .elementor-divider__element{margin-right:0}.elementor-widget-divider:not(.elementor-widget-divider--view-line_text):not(.elementor-widget-divider--view-line_icon) .elementor-divider-separator{border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--separator-type-pattern{--divider-border-style:none}.elementor-widget-divider--separator-type-pattern.elementor-widget-divider--view-line .elementor-divider-separator,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:after,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:before,.elementor-widget-divider--separator-type-pattern:not([class*=elementor-widget-divider--view]) .elementor-divider-separator{width:100%;min-height:var(--divider-pattern-height);-webkit-mask-size:var(--divider-pattern-size) 100%;mask-size:var(--divider-pattern-size) 100%;-webkit-mask-repeat:var(--divider-pattern-repeat);mask-repeat:var(--divider-pattern-repeat);background-color:var(--divider-color);-webkit-mask-image:var(--divider-pattern-url);mask-image:var(--divider-pattern-url)}.elementor-widget-divider--no-spacing{--divider-pattern-size:auto}.elementor-widget-divider--bg-round{--divider-pattern-repeat:round}.rtl .elementor-widget-divider .elementor-divider__text{direction:rtl}.e-con-inner>.elementor-widget-divider,.e-con>.elementor-widget-divider{width:var(--container-widget-width,100%);--flex-grow:var(--container-widget-flex-grow)}<\/style>\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9adf215 elementor-widget elementor-widget-heading\" data-id=\"9adf215\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h2 class=\"elementor-heading-title elementor-size-default\">Corsi, Flaminio, Godo and Hosni<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-fac39ee elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fac39ee\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-daa0aae\" data-id=\"daa0aae\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-b4d9d71 elementor-widget elementor-widget-text-editor\" data-id=\"b4d9d71\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#69727d;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#69727d;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<a class=\"boton-volver\" href=\"javascript:history.back()\">\u2aa1 Back<\/a>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-99180d5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"99180d5\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1cf27c4\" data-id=\"1cf27c4\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-63d4f60 elementor-widget elementor-widget-heading\" data-id=\"63d4f60\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">A modal logic for uncertainty: a completeness theorem<\/h1>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-56b42ba elementor-widget elementor-widget-heading\" data-id=\"56b42ba\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<span class=\"elementor-heading-title elementor-size-default\">In the present paper, we axiomatize a logic that allows a general approach for reasoning about probability functions, belief functions, lower probabilities and their corresponding duals. The formal setting we consider arises from combining a modal <span class=\"katex-eq\" data-katex-display=\"false\">S5<\/span> necessity operator <span class=\"katex-eq\" data-katex-display=\"false\">\\Box<\/span> that applies to the formulas of the infinite-valued \u0141ukasiewicz logic with the unary modality <span class=\"katex-eq\" data-katex-display=\"false\">P<\/span> that describes the behaviour of probability functions. The modality <span class=\"katex-eq\" data-katex-display=\"false\">P<\/span> together with an <span class=\"katex-eq\" data-katex-display=\"false\">S5<\/span> modality <span class=\"katex-eq\" data-katex-display=\"false\">\\Box<\/span> provides a language rich enough to characterise probability, belief and lower probability theories. For this logic, we provide an axiomatization and we prove that, once we restrict to suitable sublanguages, it turns out to be sound and complete with respect to belief functions and  lower probability models.<\/span>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-38d63f6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"38d63f6\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-2d77155\" data-id=\"2d77155\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-b37b6aa oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"b37b6aa\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/06\/corsi23a.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>PAPER<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-47041e6\" data-id=\"47041e6\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-cea01d9 oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"cea01d9\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/07\/2Corsi.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>PRESENTATION<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-ac358c7\" data-id=\"ac358c7\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-ae6d5d7 oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"ae6d5d7\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/07\/corsi-poster.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>POSTER<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-dd2b88d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"dd2b88d\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e2b8390\" data-id=\"e2b8390\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e9aa4b4 elementor-widget elementor-widget-text-editor\" data-id=\"e9aa4b4\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<a class=\"boton-volver\" href=\"javascript:history.back()\">\u2aa1 Back<\/a>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Corsi, Flaminio, Godo and Hosni \u2aa1 Back A modal logic for uncertainty: a completeness theorem In the present paper, we axiomatize a logic that allows a general approach for reasoning about probability functions, belief functions, lower probabilities and their corresponding duals. The formal setting we consider arises from combining a modal necessity operator that applies [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":3821,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_header_footer","meta":{"footnotes":""},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v21.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Long Corsi - ISIPTA 2023<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Long Corsi - ISIPTA 2023\" \/>\n<meta property=\"og:description\" content=\"Corsi, Flaminio, Godo and Hosni \u2aa1 Back A modal logic for uncertainty: a completeness theorem In the present paper, we axiomatize a logic that allows a general approach for reasoning about probability functions, belief functions, lower probabilities and their corresponding duals. The formal setting we consider arises from combining a modal necessity operator that applies [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/\" \/>\n<meta property=\"og:site_name\" content=\"ISIPTA 2023\" \/>\n<meta property=\"article:modified_time\" content=\"2023-07-13T07:42:10+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/\",\"url\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/\",\"name\":\"Long Corsi - ISIPTA 2023\",\"isPartOf\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#website\"},\"datePublished\":\"2023-05-15T18:49:53+00:00\",\"dateModified\":\"2023-07-13T07:42:10+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\/\/isipta23.sipta.org\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Accepted Papers\",\"item\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Long Corsi\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/isipta23.sipta.org\/#website\",\"url\":\"https:\/\/isipta23.sipta.org\/\",\"name\":\"ISIPTA 2023\",\"description\":\"The International Symposium on Imprecise Probabilities\",\"publisher\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/isipta23.sipta.org\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/isipta23.sipta.org\/#organization\",\"name\":\"ISIPTA 2023\",\"url\":\"https:\/\/isipta23.sipta.org\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png\",\"contentUrl\":\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png\",\"width\":500,\"height\":500,\"caption\":\"ISIPTA 2023\"},\"image\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Long Corsi - ISIPTA 2023","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/","og_locale":"en_GB","og_type":"article","og_title":"Long Corsi - ISIPTA 2023","og_description":"Corsi, Flaminio, Godo and Hosni \u2aa1 Back A modal logic for uncertainty: a completeness theorem In the present paper, we axiomatize a logic that allows a general approach for reasoning about probability functions, belief functions, lower probabilities and their corresponding duals. The formal setting we consider arises from combining a modal necessity operator that applies [&hellip;]","og_url":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/","og_site_name":"ISIPTA 2023","article_modified_time":"2023-07-13T07:42:10+00:00","og_image":[{"url":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/","url":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/","name":"Long Corsi - ISIPTA 2023","isPartOf":{"@id":"https:\/\/isipta23.sipta.org\/#website"},"datePublished":"2023-05-15T18:49:53+00:00","dateModified":"2023-07-13T07:42:10+00:00","breadcrumb":{"@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-corsi\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/isipta23.sipta.org\/"},{"@type":"ListItem","position":2,"name":"Accepted Papers","item":"https:\/\/isipta23.sipta.org\/accepted-papers\/"},{"@type":"ListItem","position":3,"name":"Long Corsi"}]},{"@type":"WebSite","@id":"https:\/\/isipta23.sipta.org\/#website","url":"https:\/\/isipta23.sipta.org\/","name":"ISIPTA 2023","description":"The International Symposium on Imprecise Probabilities","publisher":{"@id":"https:\/\/isipta23.sipta.org\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/isipta23.sipta.org\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/isipta23.sipta.org\/#organization","name":"ISIPTA 2023","url":"https:\/\/isipta23.sipta.org\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/","url":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png","contentUrl":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png","width":500,"height":500,"caption":"ISIPTA 2023"},"image":{"@id":"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4251"}],"collection":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/comments?post=4251"}],"version-history":[{"count":25,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4251\/revisions"}],"predecessor-version":[{"id":6800,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4251\/revisions\/6800"}],"up":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/3821"}],"wp:attachment":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/media?parent=4251"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}