Advances in Modal Logic 2000: Leipzig, Germany