Tyler D. P. Brunet

Coalgebraic modal logic is a set of approached to modal semantics that defines frames and models as coalgebras for a functor. This approach has captured the traditional notions of Kripke and Neighbourhood frames, as well as many other types of...