On distance logics of Euclidean spaces

Gabriel Agnew, Uzias Gutierrez-Hougardy, John Harding +2

We consider logics derived from Euclidean spaces ${\mathbb{R}}^n$. Each Euclidean space carries relations consisting of those pairs that are, respectively, distance more than 1 apart…