A logic with probabilistic Jaccard similarity. - Maja Dabic; Nenad Stojanovic; Nebojsa Ikodinovic (J. Log. Comput., 2026)