OpenAlex
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Work
Year: 2009
Type: article
Abstract: Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a nei... more
Source: Logical Methods in Computer Science
Authors Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Institutions Eindhoven University of Technology, Stanford University, Imperial College London
Cites: 48
Cited by: 72
Related to: 10
FWCI: 5.997
Citation percentile (by year/subfield): 98.39
Topic: Logic, Reasoning, and Knowledge
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: diamond