Sciweavers

11 search results - page 3 / 3
» The Power of Commuting with Finite Sets of Words
Sort
View
APAL
2010
97views more  APAL 2010»
13 years 6 months ago
A modal logic framework for reasoning about comparative distances and topology
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
Mikhail Sheremet, Frank Wolter, Michael Zakharyasc...