SciELO - Scientific Electronic Library Online

 número13Sobre las reglas de predicador e indexicalidadGiro dinámico y lógica de la investigación científica índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados




Links relacionados

  • En proceso de indezaciónCitado por Google
  • No hay articulos similaresSimilares en SciELO
  • En proceso de indezaciónSimilares en Google


Revista de humanidades de Valparaíso

versión impresa ISSN 0719-4234versión On-line ISSN 0719-4242


ALVAREZ DOMINGUEZ, Daniel. Hybrid Logic as Extension of Modal and Temporal Logics. Rev. humanid. Valpso. [online]. 2019, n.13, pp.34-67.  Epub 19-Ago-2019. ISSN 0719-4234.

Developed by Arthur Prior, Temporal Logic allows to represent temporal information on a logical system using modal (temporal) operators such as P, F, H or G, whose intuitive meaning is “it was sometime in the Past...”, “it will be sometime in the Future...”, “it Has always been in the past...” and “it will always Going to be in the future...” respectively. Valuation of formulae built from these operators are carried out on Kripke semantics, so Modal Logic and Temporal Logic are consequently related. In fact, Temporal Logic is an extension of Modal one. Even when both logics mechanisms are able to formalize modal-temporal information with some accuracy, they suffer from a lack of expressiveness which Hybrid Logic can solve. Indeed, one of the problems of Modal Logic consists in its incapacity of naming specific points inside a model. As Temporal Logic is based on it, it cannot make such a thing neither. But First-Order Logic does can by means of constants and equality relation. Hybrid Logic, which results from combining Modal Logic and First-Order Logic, may solve this shortcoming. The main aim of this paper is to explain how Hybrid Logic emanates from Modal and Temporal ones in order to show what it adds to both logics with regard to information representation, why it is more expressive than them and what relation it maintains with the First-Order Correspondence Language.

Palabras clave : Arthur Prior; First-Order Correspondence Language; Temporal Representation; Nominals; Translations.

        · resumen en Español     · texto en Inglés     · Inglés ( pdf )