Advances in Modal Logic 2010: Moscow, Russia