Runtime monitoring of space-based properties is vital in distributed systems where spatial relationships affect behaviour, performance and safety. The Spatial Logic of Closure Spaces (SLCS) provides a framework for expressing such properties and synthesising runtime monitors. However, SLCS often lacks expressiveness for capturing complex spatial relations in increasingly dynamic systems.

This vision paper explores extensions to SLCS for specifying nuanced spatial properties. After reviewing related spatial logics, we identify promising directions including parametrising spatial modalities with distance thresholds and counting constraints, and modelling edge properties in graphs. We outline development paths that preserve automatic translation into runtime monitors, particularly in the Exchange Calculus (XC), whilst addressing challenges of computational tractability and compositional semantics. Our roadmap aims to evolve SLCS into a more expressive yet implementable framework for runtime verification of spatial behaviours in modern distributed systems, meeting the growing demands of decentralised computing environments where spatial properties increasingly determine system correctness and performance.