Similar Items: Impure Simplicial Complexes: Complete Axiomatization
- A Spatial Logic for Simplicial Models
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
- A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Axiomatizing Hybrid XPath with Data
- An Axiomatic Definition of Hierarchical Clustering