Expressing coherence of musical perception in formal logic

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.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.P