4 papers
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…
Order Unit Spaces and Probabilistic Models
John Harding, Alex Wilce
We exhibit a functor from the category OUS of order unit spaces and positive, unit-preserving mappings into the category $\Prob$ of probabilistic models (test spaces with designate…
Classical Explanations in (and of) General Probabilistic Theories
John Harding, Alex Wilce
We introduce a notion of the ``explanation" of one (generalized) probabilistic model by another as particular kind of span in the category $\Prob$ of probabilistic models and morph…
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…