RT info:eu-repo/semantics/masterThesis
T1 La lógica híbrida como extensión de la lógica temporal
A1 Álvarez Domínguez, Daniel
A2 Máster Universitario en Lógica y Filosofía de la Ciencia
AB El objetivo de este trabajo 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é esmás potente que ellos y qué relación guarda con el lenguaje de correspondencia de la lógica deprimer orden. La lógica temporal permite la representación de información temporal en un sistemalógico. Su creador fue Arthur Prior, cuya propuesta se basa en definir operadores temporales pararepresentar enunciados como “fue alguna vez en el pasado p”, “será alguna vez en el futuro p”, “hasido siempre en el pasado p” o “será siempre en el futuro p”. La evaluación de tales enunciados selleva a cabo en semánticas kripkeanas. Lógica temporal y lógica modal en consecuencia estánrelacionadas. Sin embargo, la primera no tiene la capacidad de nombrar puntos concretos dentro deun modelo, por ejemplo. La lógica temporal tampoco puede hacerlo al fundamentarse en ella. Perola lógica de primer orden sí puede mediante las constantes y la relación de identidad. La lógicahíbrida es el resultado de combinar la lógica modal con la lógica de primer orden para realizar talcosa.
YR 2021
FD 2021
LK http://riull.ull.es/xmlui/handle/915/23644
UL http://riull.ull.es/xmlui/handle/915/23644
LA es
DS Repositorio institucional de la Universidad de La Laguna
RD 08-nov-2024