与 «MONODIC»相关的英语书籍
在以下的参考文献中发现
monodic的用法。与
monodic相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Creative Music Composition: The Young Composer's Voice
Composing for a Monodic Instrument A monodic instrument is one that normally
plays one note at a time. All woodwind and brass instruments are monodic.
Stringed instruments also can be considered to be monodic, even though they
are ...
Margaret Lucy Wilkins, 2013
2
Abstract State Machines 2004. Advances in Theory and ...
In this section we are looking for restrictions of ASM programs which ensure that
their temporal translations fall within “good” monodic fragments. A quick glance at
the defined translations reveals that non-monodic formulae may appear both in ...
Wolf Zimmermann, Bernhard Thalheim, 2004
3
KI 2001: Advances in Artificial Intelligence: Joint ...
Such formulae are called monodic, and the set of monodic L-formulae is denoted
by T1L. In spite of its relative narrowness the monodic fragment provides a way
for quite realistic applications. For example, temporal extensions of the spatial ...
Franz Baader, Gerhard Brewka, Thomas Eiter, 2001
Moshe Vardi, Andrei Voronkov. 214 Handling Equality in Monodic Temporal
Resolution Boris Konev1,⋆, Anatoli Degtyarev2, and Michael Fisher1 1
Department of Computer Science, University of Liverpool, Liverpool L69 7ZF,
U.K., {B.Konev, ...
Moshe Vardi, Andrei Voronkov, 2003
5
Verification of Infinite-State Systems with Applications to ...
Monodic Temporal Logic First-Order Temporal Logic, FOTL, is an extension of
classical first-order logic by temporal operators for a discrete linear model of time
(isomorphic to , being the most commonly used model of time). Formulae of this ...
E. Clarke, M. Minea, F.L. Ţiplea, 2006
6
Handbook of Modal Logic
It turns out that a monodic sentence has a genuine model iff it has a quasimodel,
and that the existence of a quasimodel can be expressed in monadic second-
order logic and hence is frequently decidable. THEOREM 32 ([100, 96]). Let (T,<)
...
Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006
7
The Cambridge History of Literary Criticism: Volume 1, ...
Another variation on this bitter reaction is quoted in the monodic poetry of
Alcaeus (fr. 360 Voigt), again in a context where the Wise Man is bewailing the
equation of self-worth with purely material value. In other words, the ethic of
sympotic ...
George A. Kennedy, George Alexander Kennedy, 1993
8
Many-Dimensional Modal Logics: Theory and Applications: ...
Suppose L e- {QK§, QTS, QK4§, QS4Z, QKD45,';', Qssf, CQDL}. Then 0 the
monadic monodic fragment of L, 0 the two-variable monodic fragment of L, 0 the
monodic packed fragment of L with equality are decidable. We remind the reader
that ...
A. Kurucz, F. Wolter, M. Zakharyaschev, 2003
9
An Introduction to Practical Formal Methods Using Temporal Logic
images/c02_l0346.gif is monodic, while images/c02_l0347.gif is not. Wolter and
Zakharyaschev showed that any set of valid monodic formulae is finitely
axiomatizable over a temporal model based on the Natural Numbers [501].
Intuitively, the ...
However, the set of valid monodic formulae is known to be finitely axiomatisable |
15| . A formula ip of FOTL is called monodic if any sub formula of w of the form
Qip, □ ?/>, (i) ^i U ip2, or ipi W xjj2 contains at most one free variable. For
example ...
包含词语«MONODIC»的新条目
找出国内和国际出版社所讨论的内容，以及词语
monodic在以下新条目的上下文中是如何使用的。
Poland's Teatr ZAR Turns Its Gaze on the Armenian Genocide in …
For years, they have been working on polyphonic singing, but for this piece, they have trained in Armenian monodic traditions. Along with new ... «SF Weekly, 五月 15»
S.F. international arts fest roars back
... I. Long inspired by the ancient vocal traditions of Georgia, Teatr ZAR has spent the past decade immersed in Anatolian monodic practices. «San Jose Mercury News, 五月 15»
Cantata Singers reveal another side of Rachmaninoff in “All-Night …
According to Harlow Robinson's informative program notes, monodic chant was indeed a feature of Orthodox worship going way back, but ... «Boston Classical Review, 二月 15»
Frances McDormand in Early Shaker Spirituals
Beginning with vaguely familiar hymns that are reminiscent of monodic Appalachian folk songs, the piece locks in with “Simple Gifts,” the 1848 Shaker work song ... «LA Weekly, 一月 15»
CBSO/MacMillan review – St Luke Passion's freshness sometimes …
The simplicity of the word-setting, sometimes just monodic, and the clarity of MacMillan's choral writing, notably in the unaccompanied sections, ... «The Guardian, 十二月 14»
Lancaster Symphony season preview
... poem of the same name, it marks four stages in our lives with sleigh bells, wedding bells, alarm bells and the monodic tolling bells of death. «LancasterOnline, 八月 14»
Review: Song Company, Jordi Savall and his ensembles provide …
... meshing with the core players, doubly impressive in music that eschews part-writing for a monodic line that every instrument traces. «Sydney Morning Herald, 四月 14»
Too much Catholic church music caters to old hippies. Fortunately …
... to write some chants for a Catholic youth event. I remembered my early training – the necessity to return to monodic simplicity and anonymity. «Telegraph.co.uk, 十一月 13»
Some Great Works by Quebec Composers: Listening Suggestions
... most often without accompaniment (monodic music) but enriched and ornamented by all sorts of variations (a process called heterophony). «La Scena Musicale, 十月 13»
Hildegard: Vespers for St Hildegard (Sinfonye)
Most of the content of this album features unadorned monodic chant performed by the six pure but characterful voices of Sinfonye, interspersed ... «Limelight Magazine, 五月 13»
