Modal logics for region-based theories of space
Résumé
We dedicate this paper to Professor Andrzej Grzegorczyk. His paper "Axiomatization of geometry without points" [20] is one of the first contributions to the region-based theory of space.