Introduction

interpolations—essays in honor of William Craig

Paolo Mancosu

313-319

Elimination problems in logic

a brief history

William L. Craig

321-332

The road to two theorems of logic

William L. Craig

333-339

Harmonious logic

Craig's interpolation theorem and its descendants

Solomon Feferman

341-357

Some remarks on the bearing of model theory on the theory of theories

William Demopoulos

359-383

Wissenschaftslogik

the role of logic in the philosophy of science

Michael Friedman

385-400

The Craig interpolation theorem in abstract model theory

Jouko Väänänen

401-420

Interpolation in computing science

the semantics of modularization

Gérard R. Renardel de Lavalette

437-450

The many faces of interpolation

Johan van Benthem

451-460