The volume ‘Theory and Applications of Craig Interpolation’, edited by Balder ten Cate, Jean Cristoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, will be published this year as Open Access by Ubiquity Press.

The book introduces the reader to the state of the art in theory and applications of Craig interpolation. Craig interpolation was introduced by William Craig in 1957. Since then, it has been a fundamental concept, undergoing many surprising transformations, in logic research and applications. Three foundational chapters introduce the reader to the concept of Craig interpolation and will be accessible to students, researchers, and practitioners with a basic logic background. The next seven chapters introduce the reader to the main methods for investigating Craig interpolation, ranging from proof theory to model theory and automata. They also mostly require only basic logic background, but some parts will be more advanced. The final four chapters survey applications in verification, databases, knowledge representation, and philosophy. Most readers will have a computing background, but the book will also be of interest for mathematicians, philosophers, and linguists.

Preprints of all chapters are available here.