A Logic of Strong Contact between Polytopes

Tsvetlin Marinov, Tinko Tinchev

We propose a new contact relation between polytopes. Intuitively, we say that two polytopes are in strong contact if a small enough object can pass from one of them to the other wh…