86
Voted
SYNTHESE
2008
15 years 8 days ago
2008
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...