The story of Oh: the aesthetics and rhetoric of a common vowel sound

Studies in Musical Theatre is the only peer-reviewed journal dedicated to musical theatre. It was launched in 2007 and is now in its seventh volume. It has an extensive international readership and is edited by Dominic Symonds and George Burrows. This article investigates the use of the ‘word’ ‘Oh’ in a variety of different performance idioms. Despite its lack of ‘meaning’, the sound is used in both conversation and poetic discourse, and I discuss how it operates communicatively and expressively through contextual resonances, aesthetic manipulation and rhetorical signification. The article first considers the aesthetically modernist work of Cathy Berberian in Bussotti’s La Passion Selon Sade; then it considers the rhetorically inflected use of ‘Oh’ to construct social resonance in popular song;finally, it discusses two important uses of the sound ‘Oh’ which bookend the Broadway musical Oklahoma!, serving to consolidate the allegorical and musico-dramatic narrative of the show

Moving up and down in the generic multiverse

We give a brief account of the modal logic of the generic multiverse, which is a bimodal logic with operators corresponding to the relations "is a forcing extension of" and "is a ground model of". The fragment of the first relation is called the modal logic of forcing and was studied by us in earlier work. The fragment of the second relation is called the modal logic of grounds and will be studied here for the first time. In addition, we discuss which combinations of modal logics are possible for the two fragments.Comment: 10 pages. Extended abstract. Questions and commentary concerning this article can be made at http://jdh.hamkins.org/up-and-down-in-the-generic-multiverse

Effective representation of RT-LOTOS terms by finite time petri nets

The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a compositionally defined mapping. The proof of the translation consistency is sketched in the paper and developed in [1]. The RT-LOTOS to TPN translation patterns formalized in the paper are being implemented. in a prototype tool. This enables reusing TPNs verification techniques and tools for the profit of RT-LOTOS