A logic for metric and topology
Work
Year: 2005
Type: article
Abstract: We propose a logic for reasoning about metric spaces with the induced topologies. It combines the ‘qualitative’ interior and closure operators with ‘quantitative’ operators ‘somewhere in the sphere o... more
Source: Journal of Symbolic Logic
Authors Frank Wolter, Michael Zakharyaschev
Institutions University of Liverpool, King's College London
Cites: 38
Cited by: 23
Related to: 10
FWCI: 3.859
Citation percentile (by year/subfield): 91.74
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green