Similar Items: A Complete Axiomatisation for Quantifier-Free Separation Logic
- On the Axiomatisability of Parallel Composition
- A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Separating regular languages with two quantifier alternations
- Separability in the Ambient Logic
- A First-Order Complete Temporal Logic for Structured Context-Free Languages
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams