Similar Items: Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
- Craig Interpolation for Decidable First-Order Fragments
- Definability and Interpolation within Decidable Fixpoint Logics
- Decidability of Querying First-Order Theories via Countermodels of Finite Width
- Petri Net Reachability Graphs: Decidability Status of First Order Properties
- On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
- The succinctness of first-order logic on linear orders