Advances in Modal Logic 2000: Leipzig, Germany

maintained by Schloss Dagstuhl LZI at University of Trier