Switch to: References

Add citations

You must login to add citations.
  1. A multimodal logic for closeness.A. Burrieza, E. Muñoz-Velasco & M. Ojeda-Aciego - 2017 - Journal of Applied Non-Classical Logics 27 (3):225-237.
    We introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A flexible logic-based approach to closeness using order of magnitude qualitative reasoning.Alfredo Burrieza, Emilio MuÑoz-Velasco & Manuel Ojeda-Aciego - forthcoming - Logic Journal of the IGPL.
    In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark