Timing in music and temporal logic.

Marsden, Alan (2007) Timing in music and temporal logic. Journal of Mathematics and Music, 1 (3). pp. 173-189. ISSN 1745-9737

PDF (JMMforEprints.pdf)

Download (297kB)


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

Item Type: Journal Article
Journal or Publication Title: Journal of Mathematics and Music
Additional Information: The final, definitive version of this article has been published in the Journal, Journal of Mathematics and Music, 1 (3), 2007, © Informa Plc
Uncontrolled Keywords: /dk/atira/pure/researchoutput/libraryofcongress/m1
Departments: Faculty of Arts & Social Sciences > Lancaster Institute for the Contemporary Arts
ID Code: 34281
Deposited By: Dr Alan Marsden
Deposited On: 28 Sep 2010 08:32
Refereed?: Yes
Published?: Published
Last Modified: 17 Oct 2019 23:34
URI: https://eprints.lancs.ac.uk/id/eprint/34281

Actions (login required)

View Item View Item