ByNobleID
    An Inductive Construction for Many-Valued Coalgebraic Modal Logic | NobleID