There is quite a lot of literature on axiomatic theories of time which build up
from the bare minimum of what it means to have 'time'. (See, eg Patrick
Hayes' 'A Catalogue of Temporal Theories') For example, you
can have a linearly ordered discrete time domain where the only relation
between time points is that they must be before or after each other, but
there doesn't have to be any concept of 'duration'. Other features or
alternatives can be added one by one, for example, dense time (for
any two time points there is always another time point between them),
continuous time, durations, multiple timelines, nonlinear, eg branching
time and so on. One can also abandon time points altogether and
work only with intervals. It all depends on what is appropriate for the
problem at hand.
For music, it might be quite useful to have a concept of discrete, linear
'score' time even without any concept of durations. Even better, it
might be possible to have a kind of 'metrical' time, where the time
points (or intervals) are arranged in structure which makes explicit
the metrical hierarchy, ie with weak, strong, and stronger beats recurring
in a certain pattern. Points and intervals could be addressed relative
to the hierarchy, eg the second third of the 4th beat of the 3rd measure of
the 2nd 'hypermeasure'.. etc, and there would be an accompanying
algebra of time that might include operations such as transposition
of metrical level. A performance of a score on a metrical time domain
would involve a mapping from events with metrical time coordinates
to events on the real time line, and this mapping could include subtleties
like swing timing or the lengthening of the 3rd beat in a waltz.
I've thought about this on an off for the past couple of years but it's
never really gelled into a really compelling whole.
- samer.