Neighbourhood Structures: Bisimilarity and Basic Model Theory
DOI10.2168/LMCS-5(2:2)2009zbMath1172.03011MaRDI QIDQ3636801
Clemens Kupke, Eric Pacuit, Helle Hvid Hansen
Publication date: 30 June 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-5(2:2)2009
invariance; coalgebra; bisimulation; behavioural equivalence; van Benthem's characterization theorem; non-normal modal logic; Hennessy-Milner theorem; neighbourhood semantics; Craig interpolation lemma
03B45: Modal logic (including the logic of norms)
03G30: Categorical logic, topoi
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C50: Categorical semantics of formal languages
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items