This is a preview. Log in through your library . Abstract We extend Moss and Parikh's modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done ...