Similar Items: Craig Interpolation for Decidable First-Order Fragments
- Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
- On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
- Definability and Interpolation within Decidable Fixpoint Logics
- Lindstrom theorems for fragments of first-order logic
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
- Decidability of Querying First-Order Theories via Countermodels of Finite Width