From topology to metric: modal logic and quantification in metric spaces