Kantorovich Functors and Characteristic Logics for Behavioural Distances.

Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schröder Paul Wild

Published in: FoSSaCS (2023)

Keyphrases

distance measure
distance function
modal logic
expressive power
inference rules
euclidean distance
real time
probability distribution
database
machine learning
knn
epistemic logic