Similar Items: Lindstrom theorems for fragments of first-order logic
- Craig Interpolation for Decidable First-Order Fragments
- 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
- The succinctness of first-order logic on linear orders
- Analytic Tableaux for Simple Type Theory and its First-Order Fragment
- On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories