A modal logic framework for reasoning about comparative distances and topology.

Mikhail Sheremet Frank Wolter Michael Zakharyaschev

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

modal logic
temporal logic
main contribution
inference rules
modal operators
dynamic programming
distance measure
euclidean distance
general theory