<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-02456423</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-18T18:58:24+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">PROBABILISTIC LOGICS BASED ON RIESZ SPACES</title>
            <author role="aut">
              <persName>
                <forename type="first">Robert</forename>
                <surname>Furber</surname>
              </persName>
              <idno type="halauthorid">1420727-0</idno>
              <affiliation ref="#struct-300821"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Radu</forename>
                <surname>Mardare</surname>
              </persName>
              <idno type="halauthorid">676833-0</idno>
              <affiliation ref="#struct-300821"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Matteo</forename>
                <surname>Mio</surname>
              </persName>
              <email type="md5">3b0d440fde3c8a1a14307a4a222bcf55</email>
              <email type="domain">ens-lyon.fr</email>
              <idno type="idhal" notation="string">matteo-mio</idno>
              <idno type="idhal" notation="numeric">173745</idno>
              <idno type="halauthorid" notation="string">41936-173745</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4050-3617</idno>
              <idno type="IDREF">https://www.idref.fr/264452127</idno>
              <affiliation ref="#struct-6818"/>
              <affiliation ref="#struct-35418"/>
              <affiliation ref="#struct-458310"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Matteo</forename>
                <surname>Mio</surname>
              </persName>
              <email type="md5">3b0d440fde3c8a1a14307a4a222bcf55</email>
              <email type="domain">ens-lyon.fr</email>
            </editor>
            <funder ref="#projanr-44488"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-01-27 12:58:06</date>
              <date type="whenModified">2026-01-18 12:28:03</date>
              <date type="whenReleased">2020-01-29 12:33:20</date>
              <date type="whenProduced">2020</date>
              <date type="whenEndEmbargoed">2020-01-27</date>
              <ref type="file" target="https://hal.science/hal-02456423v1/document">
                <date notBefore="2020-01-27"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://hal.science/hal-02456423v1/file/1903.09463.pdf" id="file-2456423-2339438">
                <date notBefore="2020-01-27"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="178373">
                <persName>
                  <forename>Matteo</forename>
                  <surname>Mio</surname>
                </persName>
                <email type="md5">3b0d440fde3c8a1a14307a4a222bcf55</email>
                <email type="domain">ens-lyon.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02456423</idno>
            <idno type="halUri">https://hal.science/hal-02456423</idno>
            <idno type="halBibtex">furber:hal-02456423</idno>
            <idno type="halRefHtml">&lt;i&gt;Logical Methods in Computer Science&lt;/i&gt;, 2020, 16, &lt;a target="_blank" href="https://dx.doi.org/10.23638/LMCS-16(1:6)2020"&gt;&amp;#x27E8;10.23638/LMCS-16(1:6)2020&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Logical Methods in Computer Science, 2020, 16, &amp;#x27E8;10.23638/LMCS-16(1:6)2020&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-2456423-2339438"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-LYON">École Normale Supérieure de Lyon</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="LIP" corresp="UNIV-LYON1">Laboratoire de l'Informatique du Parallélisme</idno>
            <idno type="stamp" n="LIP_PLUME" corresp="LIP">PLUME</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="ANR">ANR</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">PROBABILISTIC LOGICS BASED ON RIESZ SPACES</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Robert</forename>
                    <surname>Furber</surname>
                  </persName>
                  <idno type="halauthorid">1420727-0</idno>
                  <affiliation ref="#struct-300821"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Radu</forename>
                    <surname>Mardare</surname>
                  </persName>
                  <idno type="halauthorid">676833-0</idno>
                  <affiliation ref="#struct-300821"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Matteo</forename>
                    <surname>Mio</surname>
                  </persName>
                  <email type="md5">3b0d440fde3c8a1a14307a4a222bcf55</email>
                  <email type="domain">ens-lyon.fr</email>
                  <idno type="idhal" notation="string">matteo-mio</idno>
                  <idno type="idhal" notation="numeric">173745</idno>
                  <idno type="halauthorid" notation="string">41936-173745</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4050-3617</idno>
                  <idno type="IDREF">https://www.idref.fr/264452127</idno>
                  <affiliation ref="#struct-6818"/>
                  <affiliation ref="#struct-35418"/>
                  <affiliation ref="#struct-458310"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">1692</idno>
                <idno type="eissn">1860-5974</idno>
                <title level="j">Logical Methods in Computer Science</title>
                <imprint>
                  <publisher>Logical Methods in Computer Science Association</publisher>
                  <biblScope unit="volume">16</biblScope>
                  <date type="datePub">2020</date>
                </imprint>
              </monogr>
              <idno type="doi">10.23638/LMCS-16(1:6)2020</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz spaces, a mature field of mathematics at the intersection of universal algebra and functional analysis. By using powerful results from this theory, we develop the duality theory of the Riesz modal logic in the form of an algebra-to-coalgebra correspondence. This has a number of consequences including: a sound and complete axiomatization, the proof that the logic characterizes probabilistic bisimulation and other convenient results such as completion theorems. This work is intended to be the basis for subsequent research on extensions of Riesz modal logic with fixed-point operators.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regroupinstitution" xml:id="struct-300821" status="VALID">
          <idno type="ROR">https://ror.org/04m5j1k67</idno>
          <orgName>Aalborg University</orgName>
          <orgName type="acronym">AAU</orgName>
          <desc>
            <address>
              <addrLine>Fredrik Bajers Vej 5, P.O. Box 159, DK - 9100 Aalborg</addrLine>
              <country key="DK"/>
            </address>
            <ref type="url">http://www.en.aau.dk/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-6818" status="VALID">
          <idno type="IdRef">149154992</idno>
          <idno type="ISNI">0000000123319856</idno>
          <idno type="ROR">https://ror.org/04zmssz18</idno>
          <idno type="Wikidata">Q10159</idno>
          <orgName>École normale supérieure de Lyon</orgName>
          <orgName type="acronym">ENS de Lyon</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-35418" status="VALID">
          <idno type="IdRef">191041289</idno>
          <idno type="ISNI">0000000104538607</idno>
          <idno type="RNSR">200317503S</idno>
          <idno type="ROR">04msnz457</idno>
          <orgName>Laboratoire de l'Informatique du Parallélisme</orgName>
          <orgName type="acronym">LIP</orgName>
          <date type="start">1990-01-01</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 LYON CEDEX 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6818" type="direct"/>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-458310" status="VALID">
          <orgName>Preuves et Langages</orgName>
          <orgName type="acronym">PLUME</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/PLUME/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-35418" type="direct"/>
            <relation active="#struct-6818" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-44488" status="VALID">
          <idno type="anr">ANR-16-CE25-0011</idno>
          <orgName>REPAS</orgName>
          <desc>Des systèmes logiciels fiables et conscients des données privées, via les métriques de bisimulation</desc>
          <date type="start">2016</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>