 Without prejudging these metaphysical questions, some philosophers have formulated logics of location—typically in the form of groups of axioms or axiom-schemas governing a location relation and its interaction with parthood and other mereological relations. One main aim of these logics is to capture the ways in which the mereological properties of and relations between located entities must mirror the mereological properties of and relations between the locations of those entities.