Switch to: References

Add citations

You must login to add citations.
  1. 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