Completeness for flat modal fixpoint logics
scientific article; zbMATH DE number 5947121
scientific article