Abstract

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. Our intention is to examine a stronger version of this axiom according to which if __x__ is in contact with the supremum of some family __S__ of regions, then there is a __y__ in __S__ that is in contact with __x__. We study a modal possibility operator which is definable in complete algebras in the presence of the aforementioned axiom, and we prove that the class of complete algebras satisfying the axiom is closely related to the class of modal KTB-algebras. We also demonstrate that in the class of complete extensional contact algebras the axiom is equivalent to the statement: _every region is isolated_. Finally, we present an interpretation of the modal operator in the class of the so-called _resolution contact algebras_.