Interpolation and Beth definability in default logics

V. Cassano, R. Fervari, C. Areces, and P. Castro. Interpolation and Beth definability in default logics. In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 675–691, 2019.

Download

[pdf] 

Abstract

We investigate interpolation and Beth definability in default logics. To this end, we start by defining a general framework which is sufficiently abstract to encompass most of the usual definitions of a default Logic. In this framework a default logic DL is built on a base, monotonic, logic L. We then investigate the question of when interpolation and Beth definability results transfer from L to DL. This investigation needs suitable notions of interpolation and Beth definability for default logics. We show both positive and negative general results: depending on how DL is defined and of the kind of interpolation/Beth definability involved, the property might or might not transfer from L to DL.

BibTeX

@InCollection{Cassano2019,
  author =       "V. Cassano and R. Fervari and C. Areces and P.
                 Castro",
  booktitle =    "Logics in Artificial Intelligence - 16th European
                 Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019,
                 Proceedings",
  title =        "Interpolation and {B}eth definability in default
                 logics",
  year =         "2019",
  pages =        "675--691",
  abstract =     "We investigate interpolation and Beth definability in
                 default logics. To this end, we start by defining a
                 general framework which is sufficiently abstract to
                 encompass most of the usual definitions of a default
                 Logic. In this framework a default logic DL is built on
                 a base, monotonic, logic L. We then investigate the
                 question of when interpolation and Beth definability
                 results transfer from L to DL. This investigation needs
                 suitable notions of interpolation and Beth definability
                 for default logics. We show both positive and negative
                 general results: depending on how DL is defined and of
                 the kind of interpolation/Beth definability involved,
                 the property might or might not transfer from L to
                 DL.",
  bibsource =    "dblp computer science bibliography, https://dblp.org",
  biburl =       "https://dblp.org/rec/conf/jelia/CassanoFAC19.bib",
  doi =          "10.1007/978-3-030-19570-0\_44",
  timestamp =    "Fri, 27 Mar 2020 08:53:33 +0100",
  URL =          "https://doi.org/10.1007/978-3-030-19570-0\_44",
  ISBN =         "978-3-030-19569-4",
}