Luigi Santocanale Yde Venema Completeness for Flat Modal Fixpoint Logics http://arxiv.org/abs/0812.2390 2008 CoRR abs/0812.2390 db/journals/corr/corr0812.html#abs-0812-2390 informal publication