Solomon Feferman Harmonious logic: Craig's interpolation theorem and its descendants. 341-357 2008 164 Synthese 3 http://dx.doi.org/10.1007/s11229-008-9354-2 db/journals/synthese/synthese164.html#Feferman08