ByNobleID
    Many-valued modal logics II | NobleID