Bisimulation for Neighbourhood Structures

DOI10.1007/978-3-540-73859-6_19zbMath1172.03314OpenAlexW2113157988MaRDI QIDQ3612496

Eric Pacuit, Helle Hvid Hansen, Clemens Kupke

Publication date: 10 March 2009

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_19

zbMATH Keywords

invariancebisimulationbehavioural equivalencenon-normal modal logicneighbourhood semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

BISIMULATIONS FOR KNOWING HOW LOGICS, Coalgebras, Chu spaces, and representations of physical systems, Epistemic Logics of Structured Intensional Groups, Transitivity and Difunctionality of Bisimulations, Terminal Sequence Induction via Games, Modal languages for topology: expressivity and definability, Modelling simultaneous games in dynamic logic