On Modal Logics of Connectedness in Metric Spaces

John Harding, Ilya Shapirovsky

For a positive number a, each metric space carries the relation D_a consisting of those pairs that are of distance less than a apart. A space X is said to be a-connected, if the gr…