A logic for metric and topology (0)

by F Wolter, M Zakharyaschev
Venue:Journal of Symbolic Logic