Synthese

Repository | Journal | Volume

Synthese

Essays in honor of William Craig

Volume 164 (3)

Details | Table of Contents

Introduction

interpolations—essays in honor of William Craig

Paolo Mancosu

pp.313-319

https://doi.org/10.1007/s11229-008-9350-6

Elimination problems in logic

a brief history

William Lane Craig

pp.321-332

https://doi.org/10.1007/s11229-008-9352-4

The road to two theorems of logic William Lane Craig

pp.333-339

https://doi.org/10.1007/s11229-008-9353-3

Harmonious logic

Craig's interpolation theorem and its descendants

Solomon Feferman

pp.341-357

https://doi.org/10.1007/s11229-008-9354-2

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

pp.359-383

https://doi.org/10.1007/s11229-008-9355-1

Wissenschaftslogik

the role of logic in the philosophy of science

Michael Friedman

pp.385-400

https://doi.org/10.1007/s11229-008-9356-0

The Craig interpolation theorem in abstract model theory Jouko Väänänen

pp.401-420

https://doi.org/10.1007/s11229-008-9357-z

Interpolation in computing science

the semantics of modularization

Gerard R Renardel de Lavalette

pp.437-450

https://doi.org/10.1007/s11229-008-9358-y

The many faces of interpolation Johan van Benthem

pp.451-460

https://doi.org/10.1007/s11229-008-9351-5

Publication details

Journal: Synthese

Volume: 164

Issue: 3

Year: 2008

Full citation:

(2008) Essays in honor of William Craig. Synthese 164 (3).