Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Modal logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science
On epistemic logic and logical omniscience
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
A Coalgebraic Perspective on Monotone Modal Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Terminal Sequence Induction via Games
Logic, Language, and Computation
Coalgebraic correspondence theory
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
| Hi-index | 0.00 |
Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denoted by 22. In our paper, we investigate the coalgebraic equivalence notions of 22-bisimulation, behavioural equivalence and neighbourhood bisimulation (a notion based on pushouts), with the aim of finding the logically correct notion of equivalence on neighbourhood structures. Our results include relational characterisations for 22-bisimulation and neighbourhood bisimulation, and an analogue of Van Benthem's characterisation theorem for all three equivalence notions. We also show that behavioural equivalence gives rise to a Hennessy-Milner theorem, and that this is not the case for the other two equivalence notions.