Non-classical Modal and Predicate Logics 2011 volume of abstracts : Guangzhou, 5-9 December 2011 2011, F solutions