---
title: "Which Semantics for Neighbourhood Semantics?"
authors:
  - "Carlos Areces"
  - "Diego Figueira"
doi: ""
url: "https://ijcai.org/proceedings/2009/117"
pdf: "https://ijcai.org/proceedings/2009/0117.pdf"
venue: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence"
year: 2009
pages: "671-675"
track: ""
keywords:
---

# Which Semantics for Neighbourhood Semantics?

Carlos Areces, Diego Figueira

*Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence*, pages 671-675.

## Abstract

In this article we discuss two alternative proposals for neighbourhood semantics (which we call strict and loose neighbourhood semantics, NSS and NSL respectively) that have been previously introduced in the literature. Our main tools are suitable notions of bisimulation. While an elegant notion of bisimulation exists for NSL, the required bisimulation for NSS is rather involved. We propose a simple extension of NSS with a universal modality that we call NSS(E), which comes together with a natural notion of bisimulation. We also investigate the complexity of the satisfiability problem for NSL and NSS(E).Carlos Areces, Diego Figueira