Similar Items: Definability and Interpolation within Decidable Fixpoint Logics
- Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
- Deciding definability in FO2(
- A Probabilistic Higher-order Fixpoint Logic
- On logical hierarchies within FO^2-definable languages
- Craig Interpolation for Decidable First-Order Fragments
- The Complexity of Model Checking Higher-Order Fixpoint Logic