As the reader may notice, we are being extremely vague about matters concerning the logics: is there a principled explanation of where they come from? What, if anything, is the relation between the final coalgebras and canonical models as we find them in modal logic?  The explanations here are too long and too involved for this entry.   Once again, one place to start reading about these matters is Kurz (2006). 