In this paper we present a dynamic assignment language which extends the dynamic predicate logic of Groenendijk & Stokhof [1991: 39{100] with assignment and with generalized quanti ers. The use of this dynamic assignment language for natural language analysis, along the lines of o.c. and [Barwise, 1987: 1{29], is demonstrated by examples. We show that our representation language permits us to t...

We discuss the aximatic basis of quantum mechanics and show that it is neither general nor consistent, since it does not incorporate the magnetic quantization as in the cyclotron motion and the flux quantization. A general and consistent system of axioms is conjectured which incorporates also the magnetic quanti-zation.

The title compound, C(15)H(13)N(3)O(4), was synthesized by the reaction of equimolar quanti-ties of 2-methoxy-benzaldehyde and 2-nitro-benzohydrazide in methanol. The dihedral angle between the two substituted benzene rings is 68.3 (2)°. In the crystal structure, inversion dimers linked by pairs of N-H⋯O hydrogen bonds occur.

We investigate extensions of CTL allowing to express quantitative requirements about an abstract notion of time in a simple discretetime framework, and study the expressive power of several relevant logics. When only subscripted modalities are used, polynomial-time model checking is possible even for the largest logic we consider, while introducing freeze quanti ers leads to a complexity blow-up.

The SCAN algorithm has been proposed for second order quanti er elimination. In particular it can be applied to nd correspondence axioms for systems of modal logic. Up to now, what has been studied are systems with unary modal operators. In this paper we study how SCAN can be applied to various systems of conditional logic, which are logical systems with binary modal operators.

The title compound, C(13)H(15)BrClNO, was prepared by the condensation of equimolar quanti-ties of 3-bromo-5-chloro-salicyl-aldehyde with cyclo-hexyl-amine in methanol. There is an intra-molecular O-H⋯N hydrogen bond in the mol-ecule. The cyclo-hexyl ring adopts a chair conformation.

We consider the compilation of diierent reasoning tasks into the evaluation problem of quantiied boolean formulas (QBFs) as an approach to develop prototype reasoning systems useful, e.g., for experimental purposes. Such a method is a natural generalization of a similar technique applied to NP-problems and has been recently proposed by other researchers. More specifically , we present translati...

There is a sharp divide between quantitative and qualitative methodologies in the social sciences. We investigate an innovative way to bridge this gap that incorporates quantitative techniques into a qualitative method, the “quanti-qualitative method” (QQM). Specifically, our research utilized small survey questionnaires and experiment-like activities as part of the question route in a series o...

With the rapid development of 3D imaging technology, the wide usage of 3D surface information for research and applications is becoming a convenient reality. This study is focused on a quanti ed analysis of facial asymmetry of more than 100 3D human faces (individuals). We investigate whether facial asymmetry di ers statistically signi cantly from a bilateral symmetry assumption, and the role o...