Similar Items: Continuous Markovian Logics - Axiomatization and Quantified Metatheory
- A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- Recursion Schemes, the MSO Logic, and the U quantifier
- On the strictness of the quantifier structure hierarchy in first-order logic
- Monadic Second Order Logic with Measure and Category Quantifiers
- A Complete Axiomatisation for Quantifier-Free Separation Logic