Similar Items: On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- Lindstrom theorems for fragments of first-order logic
- Game semantics for first-order logic
- On the Parameterized Intractability of Monadic Second-Order Logic
- Monadic Second Order Logic with Measure and Category Quantifiers
- Positive fragments of coalgebraic logics