I've been looking for literature that focuses on coalgebras and modal logic. But all literature I can find is mostly related to automata theory, or otherwise takes heavy influence from computer science, which doesn't really interest me that much.
I want to learn about modal logic and its connection to category theory and coalgebras from mathematical perspective, without reading about modeling theoretical machines. Is there some literature that you would recommend?