A new modal logic for reasoning about space: spatial propositional neighborhood logic.

Antonio Morales Isabel Navarrete Guido Sciavicco A new modal logic for reasoning about space: spatial propositional neighborhood logic. 1-25 2007 51 Ann. Math. Artif. Intell. 1 http://dx.doi.org/10.1007/s10472-007-9083-0 db/journals/amai/amai51.html#MoralesNS07