The Gödel and the Splitting Translations

Pearce, David Andrew (2010). The Gödel and the Splitting Translations. En: "30 Years of Non-Monotonic Reasoning", 22/10/2010 - 25/10/2010, Kentucky, EEUU.


Título: The Gödel and the Splitting Translations
  • Pearce, David Andrew
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 30 Years of Non-Monotonic Reasoning
Fechas del Evento: 22/10/2010 - 25/10/2010
Lugar del Evento: Kentucky, EEUU
Título del Libro: Proceedings of the 30 Years of Non-Monotonic Reasoning
Fecha: 2010
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (268kB) | Vista Previa


When the new research area of logic programming and non-monotonic reasoning emerged at the end of the 1980s, it focused notably on the study of mathematical relations between different non-monotonic formalisms, especially between the semantics of stable models and various non-monotonic modal logics. Given the many and varied embeddings of stable models into systems of modal logic, the modal interpretation of logic programming connectives and rules became the dominant view until well into the new century. Recently, modal interpretations are once again receiving attention in the context of hybrid theories that combine reasoning with non-monotonic rules and ontologies or external knowledge bases. In this talk I explain how familiar embeddings of stable models into modal logics can be seen as special cases of two translations that are very well-known in non-classical logic. They are, first, the translation used by Godel in 1933 to em- ¨ bed Heyting’s intuitionistic logic H into a modal provability logic equivalent to Lewis’s S4; second, the splitting translation, known since the mid-1970s, that allows one to embed extensions of S4 into extensions of the non-reflexive logic, K4. By composing the two translations one can obtain (Goldblatt, 1978) an adequate provability interpretation of H within the Goedel-Loeb logic GL, the system shown by Solovay (1976) to capture precisely the provability predicate of Peano Arithmetic. These two translations and their composition not only apply to monotonic logics extending H and S4, they also apply in several relevant cases to non-monotonic logics built upon such extensions, including equilibrium logic, non-monotonic S4F and autoepistemic logic. The embeddings obtained are not merely faithful and modular, they are based on fully recursive translations applicable to arbitrary logical formulas. Besides providing a uniform picture of some older results in LPNMR, the translations yield a perspective from which some new logics of belief emerge in a natural way

Más información

ID de Registro: 9403
Identificador DC:
Identificador OAI:
Depositado por: Memoria Investigacion
Depositado el: 10 Nov 2011 12:24
Ultima Modificación: 20 Abr 2016 17:49
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM