<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-018-20-2798</article-id>
      <article-id pub-id-type="publisher-id">23980</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.2 - ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY</subject>
          <subject>F.4.1 - Mathematical Logic</subject>
          <subject>F.4.3 - Formal Languages</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Monica</surname>
            <given-names>Dario Della</given-names>
          </name>
          <email xlink:type="simple">dariodm@ru.is</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Goranko</surname>
            <given-names>Valentin</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Montanari</surname>
            <given-names>Angelo</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Sciavicco</surname>
            <given-names>Guido</given-names>
          </name>
          <xref ref-type="aff" rid="A4">4</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Reykjavik University, Reykjavik, Iceland</addr-line>
        <institution>Reykjavik University</institution>
        <addr-line content-type="city">Reykjavik</addr-line>
        <country>Iceland</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Technical Institute of Denmark, Copenhagen, Denmark</addr-line>
        <institution>Technical Institute of Denmark</institution>
        <addr-line content-type="city">Copenhagen</addr-line>
        <country>Denmark</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">University of Udine, Udine, Italy</addr-line>
        <institution>University of Udine</institution>
        <addr-line content-type="city">Udine</addr-line>
        <country>Italy</country>
      </aff>
      <aff id="A4">
        <label>4</label>
        <addr-line content-type="verbatim">University of Murcia, Murcia, Spain</addr-line>
        <institution>University of Murcia</institution>
        <addr-line content-type="city">Murcia</addr-line>
        <country>Spain</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Dario Della Monica (<email xlink:type="simple">dariodm@ru.is</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2012</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>12</month>
        <year>2012</year>
      </pub-date>
      <volume>18</volume>
      <issue>20</issue>
      <fpage>2798</fpage>
      <lpage>2831</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/02621AD2-735D-566B-9589-1FE7FA8CEF1B">02621AD2-735D-566B-9589-1FE7FA8CEF1B</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/5506197">5506197</uri>
      <history>
        <date date-type="received">
          <day>11</day>
          <month>07</month>
          <year>2011</year>
        </date>
        <date date-type="accepted">
          <day>15</day>
          <month>10</month>
          <year>2012</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>Propositional Neighborhood Logic (PNL) is an interval temporal logic featuring two modalities corresponding to the relations of right and left neighborhood between two intervals on a linear order (in terms of Allen's relations, meets/ and met by). Recently, it has been shown that PNL interpreted over several classes of linear orders, including natural numbers, is decidable (NEXPTIME-complete) and that some of its natural extensions preserve decidability. Most notably, this is the case with PNL over natural numbers extended with a limited form of metric constraints and with the future fragment of PNL extended with modal operators corresponding to Allen's relations begins, begun by, and before/. This paper aims at demonstrating that PNL and its metric version MPNL, interpreted over natural numbers, are indeed very close to the border with undecidability, and even relatively weak extensions of them become undecidable. In particular, we show that (i) the addition of binders on integer variables ranging over interval lengths makes the resulting hybrid extension of MPNL undecidable, and (ii) a very weak first-order extension of the future fragment of PNL, obtained by replacing proposition letters by a restricted subclass of first-order formulae where only one variable is allowed, is undecidable (in contrast with the decidability of similar first-order extensions of point-based temporal logics).</p>
      </abstract>
    </article-meta>
  </front>
</article>
