Sciweavers

SYNTHESE
2008
68views more  SYNTHESE 2008»
14 years 11 days ago
The many faces of interpolation
We present a number of, somewhat unusual, ways of describing what Craig's interpolation theorem achieves, and use them to identify some open problems and further directions. K...
Johan van Benthem