Logic for Mobility: A Denotational Approach