International conference
Computer science applications of modal logic
Moscow, September 5-9, 2005