Expressive Modal Logics for Coalgebraic Determinization via Graded Semantics
Graded semantics provides a general framework to construct expressive modal logics that are invariant under various notions of behavioral equivalence, including those arising from coalgebraic determinization.