PP-2001-19: C. Areces, P. Blackburn, M. Marx Repairing the Interpolation Theorem in Quantified Modal Logic 1.Full Text, 2.Abstract. < Back
