PP-2001-19: Areces, C. and Blackburn, P. and Marx, M. (2001) Repairing the Interpolation Theorem in Quantified Modal Logic. [Report]
PP-2001-17: Blackburn, P. and Kamps, J. and Marx, M. (2001) Situation Calculus as Hybrid Logic: First Steps. [Report]
PP-2001-16: Kamps, J. and Marx, M. (2001) Words with Attitude. [Report]