<?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-03192782</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-02T17:03:50+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Class of Decidable Information Logics</title>
            <author role="aut">
              <persName>
                <forename type="first">Stéphane</forename>
                <surname>Demri</surname>
              </persName>
              <email type="md5">66a9b0d70773929aee63fee388faadbb</email>
              <email type="domain">lmf.cnrs.fr</email>
              <idno type="idhal" notation="string">stephane-demri</idno>
              <idno type="idhal" notation="numeric">184540</idno>
              <idno type="halauthorid" notation="string">51795-184540</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3493-2610</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-190"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Stéphane</forename>
                <surname>Demri</surname>
              </persName>
              <email type="md5">66a9b0d70773929aee63fee388faadbb</email>
              <email type="domain">lmf.cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-04-08 13:09:21</date>
              <date type="whenModified">2025-09-27 19:09:17</date>
              <date type="whenReleased">2021-04-08 15:21:16</date>
              <date type="whenProduced">1998</date>
              <date type="whenEndEmbargoed">2021-04-08</date>
              <ref type="file" target="https://hal.science/hal-03192782v1/document">
                <date notBefore="2021-04-08"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03192782v1/file/demri-tcs98.pdf" id="file-3192782-2802453">
                <date notBefore="2021-04-08"/>
              </ref>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-03192782/file/demri-tcs98.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="573407">
                <persName>
                  <forename>Stéphane</forename>
                  <surname>Demri</surname>
                </persName>
                <email type="md5">66a9b0d70773929aee63fee388faadbb</email>
                <email type="domain">lmf.cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03192782</idno>
            <idno type="halUri">https://hal.science/hal-03192782</idno>
            <idno type="halBibtex">demri:hal-03192782</idno>
            <idno type="halRefHtml">&lt;i&gt;Theoretical Computer Science&lt;/i&gt;, 1998, 195 (1), pp.33-60. &lt;a target="_blank" href="https://dx.doi.org/10.1016/S0304-3975(97)00157-6"&gt;&amp;#x27E8;10.1016/S0304-3975(97)00157-6&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Theoretical Computer Science, 1998, 195 (1), pp.33-60. &amp;#x27E8;10.1016/S0304-3975(97)00157-6&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3192782-2802453"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</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">A Class of Decidable Information Logics</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Stéphane</forename>
                    <surname>Demri</surname>
                  </persName>
                  <email type="md5">66a9b0d70773929aee63fee388faadbb</email>
                  <email type="domain">lmf.cnrs.fr</email>
                  <idno type="idhal" notation="string">stephane-demri</idno>
                  <idno type="idhal" notation="numeric">184540</idno>
                  <idno type="halauthorid" notation="string">51795-184540</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3493-2610</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-190"/>
                  <affiliation ref="#struct-441569"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">19594</idno>
                <idno type="issn">0304-3975</idno>
                <idno type="eissn">1879-2294</idno>
                <title level="j">Theoretical Computer Science</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">195</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">33-60</biblScope>
                  <date type="datePub">1998</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/S0304-3975(97)00157-6</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">information logic</term>
                <term xml:lang="en">information system</term>
                <term xml:lang="en">filtration</term>
                <term xml:lang="en">multimodal logic</term>
                <term xml:lang="en">finite model property</term>
                <term xml:lang="en">Hilbert-style axiomatisation</term>
                <term xml:lang="en">graded modality</term>
                <term xml:lang="en">complexity</term>
                <term xml:lang="en">decidability</term>
                <term xml:lang="en">local agreement condition</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <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>For a class of propositional information logics defined from Pawlak's information systems, the validity problem is proved to be decidable using a significant variant of the standard filtration technique. Decidability is proved by showing that each logic has the strong finite model property and by bounding the size of the models. The logics in the scope of this paper are characterized by classes of Kripke-style structures with interdependent relations pairwise satisfying the Gargov's local agreement condition and closed under the so-called restriction operation. They include Gargov's data analysis logic with local agreement and Nakamura's logic of graded modalities. The last part of the paper is devoted to the definition of complete Hilbert-style axiomatizations for subclasses of the introduced logics, thus providing evidence that such logics are subframe logics in Wolter's sense.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-190" status="OLD">
          <idno type="IdRef">050474251</idno>
          <idno type="RNSR">199511966H</idno>
          <orgName>Laboratoire Leibniz</orgName>
          <orgName type="acronym">Leibniz - IMAG</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2007-01-01</date>
          <desc>
            <address>
              <addrLine>46, avenue Félix Viallet - 38031 GRENOBLE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-leibniz.imag.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5522" active="#struct-441569" type="direct"/>
          </listRelation>
        </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="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>