Search

• < Previous
• 1
• Next >

Neighbourhood Structures: Bisimilarity and Basic Model Theory

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;]