Formal logic can be used for expressing certain aspects of musical coherence. In this paper, a framework is developed which aims at linking expressions in the formal language to an underlying interpretation in terms of musical images and image transformations. Such an interpretation characterizes truth within a framework of spatio-temporal representations and perception-based musical information processing. The framework provides a way for defining a semantics for the coherence of musical perception.