A Spatial Logic for a Simplicial Complex Model