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