<?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 inria-00556034</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-19T16:49:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Global and local graph modifiers</title>
            <author role="aut">
              <persName>
                <forename type="first">Guillaume</forename>
                <surname>Aucher</surname>
              </persName>
              <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
              <email type="domain">univ-rennes1.fr</email>
              <idno type="idhal" notation="string">guillaume-aucher</idno>
              <idno type="idhal" notation="numeric">754897</idno>
              <idno type="halauthorid" notation="string">54987-754897</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2781-2688</idno>
              <affiliation ref="#struct-400549"/>
              <affiliation ref="#struct-416928"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Philippe</forename>
                <surname>Balbiani</surname>
              </persName>
              <email type="md5">941baf3268597ca0de5ccbd18874d4f4</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">philippe-balbiani</idno>
              <idno type="idhal" notation="numeric">741408</idno>
              <idno type="halauthorid" notation="string">9601-741408</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3569-9160</idno>
              <idno type="IDREF">https://www.idref.fr/033316910</idno>
              <affiliation ref="#struct-400549"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Luis</forename>
                <surname>Fariñas del Cerro</surname>
              </persName>
              <email type="md5">5e8f888cb4b26bc945b6f352c4375389</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">luis-farinas</idno>
              <idno type="idhal" notation="numeric">1099274</idno>
              <idno type="halauthorid" notation="string">2026354-1099274</idno>
              <idno type="IDREF">https://www.idref.fr/030092485</idno>
              <idno type="VIAF">https://viaf.org/viaf/9886420</idno>
              <idno type="ISNI">http://isni.org/isni/0000000083558341</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-400549"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Andreas</forename>
                <surname>Herzig</surname>
              </persName>
              <email type="md5">e1332c9a4645745f6df95efc3e03ba20</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">andreas-herzig</idno>
              <idno type="idhal" notation="numeric">181482</idno>
              <idno type="halauthorid" notation="string">50996-181482</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0833-2782</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?sortby=pubdate&amp;hl=en&amp;user=mfa7dJYAAAAJ&amp;view_op=list_works</idno>
              <idno type="IDREF">https://www.idref.fr/074664794</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-400549"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Guillaume</forename>
                <surname>Aucher</surname>
              </persName>
              <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
              <email type="domain">univ-rennes1.fr</email>
            </editor>
            <funder ref="#projanr-984"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2011-01-15 01:40:25</date>
              <date type="whenModified">2025-10-22 18:04:08</date>
              <date type="whenReleased">2011-01-17 17:14:03</date>
              <date type="whenProduced">2009-03-21</date>
              <date type="whenEndEmbargoed">2011-01-15</date>
              <ref type="file" target="https://inria.hal.science/inria-00556034v1/document">
                <date notBefore="2011-01-15"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://inria.hal.science/inria-00556034v1/file/M4M.pdf" id="file-556034-566287">
                <date notBefore="2011-01-15"/>
              </ref>
              <ref type="externalLink" target="https://doi.org/10.1016/j.entcs.2009.02.042"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="156493">
                <persName>
                  <forename>Guillaume</forename>
                  <surname>Aucher</surname>
                </persName>
                <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
                <email type="domain">univ-rennes1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00556034</idno>
            <idno type="halUri">https://inria.hal.science/inria-00556034</idno>
            <idno type="halBibtex">aucher:inria-00556034</idno>
            <idno type="halRefHtml">&lt;i&gt;Electronic Notes in Theoretical Computer Science&lt;/i&gt;, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.entcs.2009.02.042"&gt;&amp;#x27E8;10.1016/j.entcs.2009.02.042&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, &amp;#x27E8;10.1016/j.entcs.2009.02.042&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-556034-566287"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-LILAC" corresp="IRIT">Logique, Interaction, Langue et Calcul</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="IRIT-IA" corresp="IRIT">Intelligence Artificielle</idno>
            <idno type="stamp" n="IRIT-CNRS">IRIT - Centre National de la Recherche Scientifique</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">5th Workshop on Methods for Modalities 2007, Cachan, France, 29-30 novembre 2007</note>
            <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">Global and local graph modifiers</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Guillaume</forename>
                    <surname>Aucher</surname>
                  </persName>
                  <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
                  <email type="domain">univ-rennes1.fr</email>
                  <idno type="idhal" notation="string">guillaume-aucher</idno>
                  <idno type="idhal" notation="numeric">754897</idno>
                  <idno type="halauthorid" notation="string">54987-754897</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2781-2688</idno>
                  <affiliation ref="#struct-400549"/>
                  <affiliation ref="#struct-416928"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Philippe</forename>
                    <surname>Balbiani</surname>
                  </persName>
                  <email type="md5">941baf3268597ca0de5ccbd18874d4f4</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">philippe-balbiani</idno>
                  <idno type="idhal" notation="numeric">741408</idno>
                  <idno type="halauthorid" notation="string">9601-741408</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3569-9160</idno>
                  <idno type="IDREF">https://www.idref.fr/033316910</idno>
                  <affiliation ref="#struct-400549"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Luis</forename>
                    <surname>Fariñas del Cerro</surname>
                  </persName>
                  <email type="md5">5e8f888cb4b26bc945b6f352c4375389</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">luis-farinas</idno>
                  <idno type="idhal" notation="numeric">1099274</idno>
                  <idno type="halauthorid" notation="string">2026354-1099274</idno>
                  <idno type="IDREF">https://www.idref.fr/030092485</idno>
                  <idno type="VIAF">https://viaf.org/viaf/9886420</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000083558341</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-400549"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Andreas</forename>
                    <surname>Herzig</surname>
                  </persName>
                  <email type="md5">e1332c9a4645745f6df95efc3e03ba20</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">andreas-herzig</idno>
                  <idno type="idhal" notation="numeric">181482</idno>
                  <idno type="halauthorid" notation="string">50996-181482</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0833-2782</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?sortby=pubdate&amp;hl=en&amp;user=mfa7dJYAAAAJ&amp;view_op=list_works</idno>
                  <idno type="IDREF">https://www.idref.fr/074664794</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-400549"/>
                  <affiliation ref="#struct-441569"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">12842</idno>
                <idno type="issn">1571-0661</idno>
                <title level="j">Electronic Notes in Theoretical Computer Science</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="serie">Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007)</biblScope>
                  <biblScope unit="volume">231</biblScope>
                  <date type="datePub">2009-03-21</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.entcs.2009.02.042</idno>
              <ref target="http://www.irit.fr/publis/LILAC/M4M.pdf" type="seeAlso"/>
              <ref type="publisher">https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/231/suppl/C</ref>
            </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 dene two modal logics that allow to reason about modications of graphs. Both have a universal modal operator. The rst one only involves global modications (of some state label, or of some edge label) everywhere in the graph. The second one also allows for modications that are local to states. The global version generalizes logics of public announcements and public assignments, as well as a logic of preference modication introduced by van Benthem et Liu. By means of reduction axioms we show that it is just as expressive as the underlying logic without global modiers. We then show that adding local modiers dramatically increases the power of the logic: the logic of global and local modiers is undecidable. We nally study its relation with hybrid logic with binder.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-400549" status="OLD">
          <orgName>Logique, Interaction, Langue et Calcul</orgName>
          <orgName type="acronym">IRIT-LILaC</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irit.fr/departement/intelligence-artificielle/equipe-lilac/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-416928" status="VALID">
          <idno type="IdRef">034371362</idno>
          <orgName>University of Otago [Dunedin, Nouvelle-Zélande]</orgName>
          <date type="start">1869</date>
          <desc>
            <address>
              <addrLine>362 Leith St, North Dunedin, Dunedin 9016, New-Zeland</addrLine>
              <country key="NZ"/>
            </address>
            <ref type="url">https://www.otago.ac.nz/</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>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-984" status="VALID">
          <idno type="anr">ANR-05-SSIA-0001</idno>
          <idno type="program">ARA Sécurité des systèmes embarqués et Intelligence Ambiante</idno>
          <orgName>ARROWS</orgName>
          <desc>Structures de données avec pointeurs sûres : une approche déclarative de leur spécification et de leur analyse</desc>
          <date type="start">2005</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>