From contact relations to modal operators, and back

TL;DR

This paper explores a stronger contact axiom in Boolean Contact Algebras, linking it to modal operators and modal KTB-algebras, and investigates its implications in various algebraic classes.

Contribution

It introduces a stronger contact axiom, studies its relation to modal operators and KTB-algebras, and provides interpretations in resolution contact algebras.

Findings

The stronger axiom relates to modal KTB-algebras.

In extensional contact algebras, the axiom implies all regions are isolated.

The modal operator can be interpreted in resolution contact algebras.

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.