Logical Topology