Abstract
La lógica temporal fue creada por Arthur Prior para representar información temporal en un sistema lógico mediante operadores modales-temporales como P, F, H o G. Intuitivamente tales operadores pueden entenderse respectivamente como “fue alguna vez en el pasado...”, “será alguna vez en el futuro...”, “ha sido siempre en el pasado...” y “será siempre en el futuro...”. La evaluación de las fórmulas construidas a partir de ellos se lleva a cabo en semánticas kripkeanas y, de este modo, la lógica modal y la temporal están relacionadas. Sin embargo, aunque sus mecanismos permiten formalizar la información modal-temporal con cierta precisión, ambas lógicas adolecen de un problema de expresividad que la lógica híbrida es capaz de solventar. En efecto, uno de los problemas de la lógica modal reside en su incapacidad para nombrar puntos concretos dentro de un modelo. La lógica temporal, al basarse en ella, tampoco puede hacerlo. Pero la lógica de primer orden sí es capaz gracias a las constantes y a la relación de identidad. La lógica híbrida, que resulta de combinar la lógica modal con la lógica de primer orden, sería una solución a este problema. El principal objetivo de este artículo consiste en explicar el origen de la lógica híbrida a partir de la modal-temporal para mostrar qué añade a ambos sistemas en la representación de información, porqué es más expresiva que ellos y qué relación guarda con el lenguaje de correspondencia de la lógica de primer orden.
Keywords Arthur Prior  First-Order Correspondence Language  Nominals  Temporal Representation  Translations  lenguaje de correspondencia de primer orden  nominales  representación temporal  traducciones
Categories No categories specified
(categorize this paper)
DOI 10.22370/rhv.2019.13.1799.
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,391
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Unreality of Time.J. Ellis McTaggart - 1908 - Mind 17 (68):457-474.
Elements of Symbolic Logic.Hans Reichenbach - 1947 - London: Dover Publications.
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Elements of Symbolic Logic.W. V. Quine - 1948 - Journal of Philosophy 45 (6):161-166.
Arthur Prior and Hybrid Logic.Patrick Blackburn - 2006 - Synthese 150 (3):329-372.

View all 19 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Naming Worlds in Modal and Temporal Logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Expressive Completeness of Temporal Logic of Trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Arthur Prior and Medieval Logic.Sara L. Uckelman - 2012 - Synthese 188 (3):349-366.
Reflections on Temporal and Modal Logic.Richard L. Epstein - 2014 - Logic and Logical Philosophy 24 (1):111-139.
Hybrid Languages and Temporal Logic.P. Blackburn & M. Tzakova - 1999 - Logic Journal of the IGPL 7 (1):27-54.
Bisimulations for Temporal Logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.

Analytics

Added to PP index
2019-08-18

Total views
10 ( #800,263 of 2,326,313 )

Recent downloads (6 months)
4 ( #212,154 of 2,326,313 )

How can I increase my downloads?

Downloads

My notes