2 papers
cs.LO2026
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…
math.LO2025
On distance logics of Euclidean spaces
Gabriel Agnew, Uzias Gutierrez-Hougardy, John Harding +2
We consider logics derived from Euclidean spaces . Each Euclidean space carries relations consisting of those pairs that are, respectively, distance more than 1 apart…