Similar Items: A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Continuous Markovian Logics - Axiomatization and Quantified Metatheory
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- A Complete Axiomatisation for Quantifier-Free Separation Logic
- Impure Simplicial Complexes: Complete Axiomatization
- Axiomatizing Hybrid XPath with Data
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic