A modal logic framework for reasoning about comparative distances and topology