Research output: Contribution to Journal/Magazine › Journal article › peer-review
Research output: Contribution to Journal/Magazine › Journal article › peer-review
}
TY - JOUR
T1 - Timing in music and temporal logic.
AU - Marsden, Alan
N1 - The final, definitive version of this article has been published in the Journal, Journal of Mathematics and Music, 1 (3), 2007, © Informa Plc
PY - 2007
Y1 - 2007
N2 - 'In-time' representations of music in which the time represented is the same time as inhabited by the agent making or using the representation are contrasted with 'out-of-time' representations. Temporal logics with a similar 'in-time' perspective, and in particular those using operators S and U for 'since' and 'until', are explored as a means of representing musical situations, with particular reference to a paradigm 'triangle-player problem'. Illustrative implementations are given in the music software Pd. New versions of the operators S and U are defined to accommodate the musically important phenomena of regularly occurring events associated with metre, and to allow representations to reflect actual timings rather than relations of temporal order. Nesting of out-of-time representations within in-time representations then becomes possible and arises naturally as a way of representing certain kinds of musical situation.
AB - 'In-time' representations of music in which the time represented is the same time as inhabited by the agent making or using the representation are contrasted with 'out-of-time' representations. Temporal logics with a similar 'in-time' perspective, and in particular those using operators S and U for 'since' and 'until', are explored as a means of representing musical situations, with particular reference to a paradigm 'triangle-player problem'. Illustrative implementations are given in the music software Pd. New versions of the operators S and U are defined to accommodate the musically important phenomena of regularly occurring events associated with metre, and to allow representations to reflect actual timings rather than relations of temporal order. Nesting of out-of-time representations within in-time representations then becomes possible and arises naturally as a way of representing certain kinds of musical situation.
KW - Representation
KW - Musical time
KW - Co-ordination
KW - Temporal logic
U2 - 10.1080/17459730701666887
DO - 10.1080/17459730701666887
M3 - Journal article
VL - 1
SP - 173
EP - 189
JO - Journal of Mathematics and Music
JF - Journal of Mathematics and Music
SN - 1745-9737
IS - 3
ER -