Rethinking Semantic Segmentation With Multi-Grained Logical Prototype