Article ID Journal Published Year Pages File Type
422817 Electronic Notes in Theoretical Computer Science 2009 16 Pages PDF
Abstract

In this paper, we start the study of polymodal neighbourhood languages. We provide a completeness result for the basic polymodal neighbourhood system and show how some important systems based on neighbourhood like semantics can be simulated as subsystems of ours.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics