Search

• < Previous
• 1
• Next >

---

Neighbourhood Structures: Bisimilarity and Basic Model Theory

Helle Hvid Hansen ; Clemens Kupke ; Eric Pacuit.

Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denoted&nbsp;[&hellip;]

---

Presenting Distributive Laws

Marcello M. Bonsangue ; Helle Hvid Hansen ; Alexander Kurz ; Jurriaan Rot.

Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for&nbsp;[&hellip;]

---