Advances in Modal Logic 2010: Moscow, Russia

maintained by Schloss Dagstuhl LZI at University of Trier