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 2025/2026, Ubiquity Press, open access.

Planned Chapters and Drafts

Part I: Foundations

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

Part II: Methods

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

Part III: Applications

• Craig Interpolation in Program Verification
  Philipp Rümmer
• Databases
  Michael Benedikt
• Interpolation in Knowledge Representation
  Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
• Definability and Interpolation in Philosophy
  Johan van Benthem

---