Neighbourhood Structures: Bisimilarity and Basic Model Theory
type: Item
instance of: scholarly article
title: Neighbourhood Structures: Bisimilarity and Basic Model Theory
zbMATH Open document ID: 1172.03011
DOI: 10.2168/LMCS-5(2:2)2009
author: Helle Hvid Hansen
author: Clemens Kupke
author: Eric Pacuit
published in: Logical Methods in Computer Science
publication date: 2009-06-30T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 5571815
zbMATH Keywords: neighbourhood semantics
zbMATH Keywords: bisimulation
zbMATH Keywords: behavioural equivalence
zbMATH Keywords: invariance
zbMATH Keywords: non-normal modal logic
zbMATH Keywords: coalgebra
zbMATH Keywords: Hennessy-Milner theorem
zbMATH Keywords: van Benthem's characterization theorem
zbMATH Keywords: Craig interpolation lemma
MaRDI profile type: Publication
full work available at URL: lmcs-5(2:2)2009
OpenAlex ID: W3104252790
description: scientific article