Which Semantics for Neighbourhood Semantics?

@inproceedings{Areces2003WhichSF,
  title={Which Semantics for Neighbourhood Semantics?},
  author={Carlos Areces and Diego Figueira},
  booktitle={IJCAI},
  year={2003}
}
In this article we discuss two alternative proposals for neighbourhood semantics (which we call strict and loose neighbourhood semantics, N= and N⊆ respectively) that have been previously introduced in the literature. Our main tools are suitable notions of bisimulation. While an elegant notion of bisimulation exists forN⊆, the required bisimulation for N= is rather involved. We propose a simple extension of N= with a universal modality that we call N=(E), which comes together with a natural… CONTINUE READING
2 Citations
10 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 10 references

pages 5–25

  • M. Aiello, J. van Benthem. Logical patterns in space. In Words, Proofs, Diagrams
  • CSLI Stanford,
  • 2002
1 Excerpt

M

  • P. Blackburn
  • de Rijke, and Y. Venema. Modal Logic, chapter 6…
  • 2001
2 Excerpts

Modal Logic

  • B. Chellas
  • An Introduction, chapter 7. Cambridge University…
  • 1980
1 Excerpt

Universal grammar

  • R. Montague
  • Theoria, 36:373–398
  • 1970
1 Excerpt

Philosophical problems in logic

  • D. Scott
  • Advice on modal logic, pages 143–173. Reidel
  • 1968
1 Excerpt

Pragmatics

  • R. Montague
  • Contemporary Philosophy: a Survey, pages 102–122…
  • 1968
1 Excerpt

Similar Papers

Loading similar papers…