Similar Items: Guarded Second-Order Logic, Spanning Trees, and Network Flows
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- On the Parameterized Intractability of Monadic Second-Order Logic
- Monadic Second Order Logic with Measure and Category Quantifiers
- On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
- Logics with rigidly guarded data tests
- A Functional (Monadic) Second-Order Theory of Infinite Trees