Coalgebraic LogicCoalgebraic LogicFramework Unveiledthrough coalgebra.A new approach to model dynamic systemsLogic in Computer ScienceCoalgebraic Fixpoint Logic: A Unified ApproachExploring a framework connecting coalgebra, modal logics, and fixpoint logics.2025-08-15T07:14:18+00:00 ― 7 min read