Switch to: References

Add citations

You must login to add citations.
  1. Hacia Una Lógica Temporal-Epistémica Basada En Lenguajes Híbridos.José Rafael Herrera González & Margarita Vázquez Campos - 2011 - Análisis Filosófico 31 (1):33-46.
    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 otro lado, las alternativas epistémicas de cada agente (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Annotation Theories Over Finite Graphs.Dov M. Gabbay & Andrzej Szałas - 2009 - Studia Logica 93 (2):147-180.
    In the current paper we consider theories with vocabulary containing a number of binary and unary relation symbols. Binary relation symbols represent labeled edges of a graph and unary relations represent unique annotations of the graph's nodes. Such theories, which we call annotation theories^ can be used in many applications, including the formalization of argumentation, approximate reasoning, semantics of logic programs, graph coloring, etc. We address a number of problems related to annotation theories over finite models, including satisfiability, querying problem, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations