Nuestro principal objetivo en este trabajo es el de analizar si es posible construir sistemas lógicos temporales-epistémicos lo suficientemente satisfactorios. Sin embargo, las principales dificultades para lograr este propósito provienen del hecho de tener que combinar una perspectiva temporal absoluta con una perspectiva epistémica relativa a cada agente; es decir, por un lado, los instantes de tiempo vienen determinados desde el punto de vista de un observador situado fuera del mundo, y, por …
Read moreNuestro principal objetivo en este trabajo es el de analizar si es posible construir sistemas lógicos temporales-epistémicos lo suficientemente satisfactorios. Sin embargo, las principales dificultades para lograr este propósito provienen del hecho de tener que combinar una perspectiva temporal absoluta con una perspectiva epistémica relativa a cada agente; es decir, por un lado, los instantes de tiempo vienen determinados desde el punto de vista de un observador situado fuera del mundo, y, por otro lado, las alternativas epistémicas de cada agente son relativas a dicho agente. Pensamos que algunas de estas dificultades podrían ser superadas con la ayuda de las lógicas híbridas, puesto que este tipo de lógicas simplifica la combinación de sistemas temporales y epistémicos, y así podemos evitar tener que construir modelos excesivamente complicados. 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 epistemic perspective; that is, on one hand, temporal points 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 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