This study addresses the perception of Arabic improvised music. The modal musical system (maqâm) as well as the model par excellence of instantaneous musical exposition and composition, instrumental improvisation (taqŝım), are presented. The classical Arabic maqâm (plural maqâmât) is defined in terms of other fundamental interactive elements. The role of modal perception in the mental organizat...

It would be pretentious to suggest that an account of recording techniques could be in any way definitive. Quite apart from the fact that the variables involved are so manifold as to defy detailed analysis, the results are judged by aesthetic standards upon which there is, at best, agreement in only statistical terms. Furthermore, there is disagreement upon what the ultimate aim of the balance ...

It has been shown that linear logic can be successfully used as a framework for both specifying proof systems for a number of logics, as well as proving fundamental properties about the specified systems. This paper shows how to extend the framework with subexponentials in order to declaratively encode a wider range of proof systems, including a number of non-trivial proof systems such as multi...

Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denoted by 2 2. We use this coalgebraic modelling to derive notions of equivalence between neighbourhood...

We enrich propositional modal logic with operators ◇ (n ∈ N) which are interpreted on Kripke structures as “there are more than n accessible worlds for which ...”, thus obtaining a basic graded modal logic GrK. We show how some familiar concepts (such as subframes, p-morphisms, disjoint unions and filtrations) and techniques from modal model theory can be used to obtain results about expressive...