SciELO - Scientific Electronic Library Online

 
vol.31 número1Teorías de la verdad sin modelos estándar: Un nuevo argumento para adoptar jerarquíasLa preservación de la tesis de la localidad para los casos de doble prevención en la crítica de Ned Hall al análisis contrafactual índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Artigo

Indicadores

  • Não possue artigos citadosCitado por SciELO

Links relacionados

  • Em processo de indexaçãoCitado por Google
  • Não possue artigos similaresSimilares em SciELO
  • Em processo de indexaçãoSimilares em Google

Bookmark


Análisis filosófico

versão On-line ISSN 1851-9636

Resumo

HERRERA GONZALEZ, José Rafael  e  VAZQUEZ CAMPOS, Margarita. Hacia una lógica temporal-epistémica basada en lenguajes híbridos. Anal. filos. [online]. 2011, vol.31, n.1, pp. 33-46. ISSN 1851-9636.

Our main goal in this paper is to analyse if it is possible to build some suitable Temporal-Epistemic Systems. However, the main difficulties in order to aim this goal come from the fact of having to combine an absolute temporal perspective with a relative (to each agent) epistemic perspective; that is, on one hand, temporal points (instants) are determined from the point of view of an observer placed outside the world, and, on the other hand, the epistemic alternatives of each agent (in each instant) are relative to that agent. We think that some of these difficulties could be solved with the help of hybrid logics, because this kind of logics simplifies the combination of temporal and epistemic systems, and so we can avoid building highly complicated models.

Palavras-chave : Epistemic Logic; Temporal logic; Hybrid logic; Combining logics.

        · resumo em Espanhol     · texto em Espanhol     · pdf em Espanhol