Which Semantics for Neighbourhood Semantics?

Areces, Carlos; Figueira, Diego

Which Semantics for Neighbourhood Semantics?

Download BibTeX Cite

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

Carlos Areces, and Diego Figueira. 2009. Which Semantics for Neighbourhood Semantics?. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09. IJCAI, 671–675. https://ijcai.org/proceedings/2009/117

@inproceedings{ijcai2009p117,
  title     = {Which Semantics for Neighbourhood Semantics?},
  author    = {Areces, Carlos and Figueira, Diego},
  booktitle = {Proceedings of the Twenty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-09}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Hiroaki Kitano},
  pages     = {671--675},
  year      = {2009},
  url       = {https://ijcai.org/proceedings/2009/117},
}

TY  - CPAPER
TI  - Which Semantics for Neighbourhood Semantics?
AU  - Areces, Carlos
AU  - Figueira, Diego
T2  - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2009
SP  - 671
EP  - 675
UR  - https://ijcai.org/proceedings/2009/117
ER  -