Book Project:
Theory and Applications of Craig Interpolation

Edited by Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter. To appear in spring 2026, Ubiquity Press, open access.

Planned Chapters and Drafts

Part I: Foundations

1. Interpolation in Classical Propositional Logic
   Patrick Koopmann, Christoph Wernhard, Frank Wolter
2. Interpolation in First-Order Logic
   Balder ten Cate, Jesse Comer
3. Interpolation in Non-Classical Logics
   Wesley Fussner
4. Six Proofs of Interpolation for the Modal Logic K
   Nick Bezhanishvili, Balder ten Cate, Rosalie Iemhoff

Part II: Methods

5. Interpolation in Proof Theory
   Iris van der Giessen, Raheleh Jalali, Roman Kuznets
6. Proof Complexity and Feasible Interpolation
   Amirhossein Akbar Tabatabai
7. Interpolation in Model Theory
   Jouko Väänänen
8. Interpolation and Amalgamation
   George Metcalfe
9. Uniform Interpolation
   Sam van Gool
10. From Interpolating Formulas to Separating Languages and Back Again
    Agi Kurucz, Frank Wolter, Michael Zakharyaschev
11. Interpolation via Cyclic Proofs
    Bahareh Afshari, Graham Leigh
12. Interpolation with Automated First-Order Reasoning
    Christoph Wernhard

Part III: Applications

13. Interpolation in Program Verification
    Philipp Rümmer
14. Interpolation and Query Rewriting
    Michael Benedikt
15. Interpolation in Knowledge Representation
    Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
16. Definability and Interpolation in Philosophy
    Johan van Benthem

---