From contact relations to modal operators, and back

Rafał Gruszczyński, Paula Menchón

One of the standard axioms for Boolean Contact Algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. O…