摘要：We consider a modal logic based on mathematical morphology which allows the expression of mereotopological relations between subgraphs in the setting of the discrete space. A specific form of topological closure for graphs can be expressed in the logic, as a combination of the negation and its bi-intuitionistic dual, as well as a modality, using the stable relation Q, which describes the incidence structure of the graph. By working in this context we have been able to define qualitative spatial relations between discrete regions, and to compare them with earlier works in mereotopology, both in the discrete and in the continuous space.
关键词：modal logic; qualitative spatial reasoning; discrete space
