SPATIAL
Logics and calculi whose intended models are regions, points, and their spatial relations: containment, connection, contact, boundary, and distance. The domain shapes the apparatus in a specific way—the relations are qualitative rather than metric, because the reasoning these systems support is about how regions stand to one another and not about where they are.
The division ranges from qualitative constraint calculi over region relations, through mereotopological theories combining parthood with connection, to modal and topological logics whose accessibility is spatial. Where a system's individuation is the modal apparatus rather than the spatial domain, it lives in Modal and is cross-listed here.