"Repairing the interpolation theorem in quantified modal logic."

Carlos Areces, Patrick Blackburn, Maarten Marx (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics