Bisimulation for Neighbourhood Structures

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.

[1]  Jan J. M. M. Rutten.  Relators and Metric Bisimulations , 1998, CMCS.

[2]  Dirk Pattinson,et al.  Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..

[3]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[4]  Johan van Benthem,et al.  Information Transfer across Chu Spaces , 2000, Log. J. IGPL.

[5]  Alexander Kurz,et al.  The Goldblatt-Thomason Theorem for Coalgebras , 2007, CALCO.

[6]  Helle Hvid Hansen,et al.  A Coalgebraic Perspective on Monotone Modal Logic , 2004, CMCS.

[7]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[8]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[9]  J.F.A.K. van Benthem,et al.  Modal Correspondence Theory , 1977 .

[10]  H. Peter Gumm,et al.  Types and coalgebraic structure , 2005 .

[11]  Martin Otto,et al.  Bisimulation invariance and finite models , 2006 .

[12]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[13]  Peter Aczel,et al.  Algebras and Coalgebras , 2000, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.

[14]  Dmitry Sustretov,et al.  Modal languages for topology: Expressivity and definability , 2006, Ann. Pure Appl. Log..

[15]  Moshe Y. Vardi,et al.  On Epistemic Logic and Logical Omniscience. , 1988 .

[16]  Lou Goble.  Murder most gentle: The paradox deepens , 1991 .

[17]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[18]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[19]  Jirí Adámek,et al.  Theory of Mathematical Structures , 1983 .

[20]  Kosta Dosen,et al.  Duality between modal algebras and neighbourhood frames , 1989, Stud Logica.

[21]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[22]  H. Gumm.  Functors for Coalgebras , 2001 .

[23]  Guido Governatori,et al.  Knowledge Assessment: A Modal Logic Approach , 2008, PRIMA.

[24]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[25]  Helle Hvid Hansen,et al.  Monotonic modal logics , 2003 .