Similar Items: A Spatial Logic for Simplicial Models
- Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
- Impure Simplicial Complexes: Complete Axiomatization
- Model Checking Spatial Logics for Closure Spaces
- Spatial logics with connectedness predicates
- Proof Theory of a Multi-Lane Spatial Logic
- Geometry-Aware Simplicial Message Passing