A Categorical Approach to Coalgebraic Fixpoint Logic

Ezra Schoen, Clemens Kupke, Jurriaan Rot +1

We define a framework for incorporating alternation-free fixpoint logics into the dual-adjunction setup for coalgebraic modal logics. We achieve this by using order-enriched catego…