Switch to: References

Add citations

You must login to add citations.
  1. 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   5 citations  
  • Back from the future.Andrea Masini, Luca Viganò & Marco Volpe - 2010 - Journal of Applied Non-Classical Logics 20 (3):241-277.
    Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A∪B holds at the current time instant w iff either B holds at w or there exists a time instant w' in the future at which B holds and such that A holds in all the time instants between the current one and ẃ. This “ambivalent” nature poses a significant challenge when attempting to give deduction rules for until. In this paper, in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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