Rank-1 Modal Logics are Coalgebraic
Lutz Schröder, Dirk Pattinson · Journal of Logic and Computation · 2008
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of coalgebras for an endofunctor can always be axiomatized in rank 1. Here we establish the converse, i.e. every rank-1 modal