Possibility theory and modal logic are two knowledge representation frameworks that share some common features, such as the duality between possibility and necessity, as well as some obvious di↵erences since possibility theory is graded but is not primarily a logical setting. In the last thirty years there have been a series of attempts, reviewed in this paper, for bridging the two frameworks i...

in treating the subject of musical language, a persian musician would be intrinsically drawn to the structural similarities between the persian music and language. indeed persian music and language are extremely related in their metrics, intonations and structural phrases (syntax). although we will draw upon this relationship, our aim in this article is to present “music as a language,” consist...

We introduce relativized modal algebra homomorphisms and show that the category of modal algebras and relativized modal algebra homomorphisms is dually equivalent to the category of modal spaces and partial continuous p-morphisms, thus extending the standard duality between the category of modal algebras and modal algebra homomorphisms and the category of modal spaces and continuous p-morphisms...

In the context of the study of modality in interaction with time, the phenomenon whereby a modalized proposition entails its non-modal counterpart has been known as an ‘actuality entailment’ since Bhatt (1999). The question that actuality entailments raise is how modal statements can be distinguished from their non-modal counterparts and how modal contributes meaning. The main idea that the pap...

Autonomous modal parameter estimations may involve sorting a large number of possible solutions to develop one consistent estimate of the modal parameters (frequency, damping, mode shape, and modal scaling). Once the final, consistent estimate of modal parameters is established, this estimate can be compared to related solutions from the larger set of solutions to develop statistical attributes...

Modal vectors frequently have small amounts of contamination or distortion from random errors or bias errors, particularly when compared to results from modeling where normal modal vectors are the common result since damping is not included in the model. In order to understand, and possibly eliminate the contamination, tools are needed to evaluate the contamination. While the traditional modal ...

BACKGROUND Mechanical chest wall pain is a common presenting complaint in the primary care office, emergency room, and specialty clinic. Diagnostic testing is often expensive due to similar presenting symptoms that may involve the heart or lungs. Since the chest wall biomechanics are poorly understood by many clinicians, few effective treatments are offered to patients with rib-related acute pa...

within a language whose only modal operators are the box and the diamond; other modal idioms cannot be expressed within such a language at all. Nonetheless, quantified modal logic has enjoyed considerable success in uncovering and explaining ambiguities in modal sentences and fallacies in modal reasoning. A prime example of this success is the now standard analysis of the distinction between mo...

This paper presents the Fourier and wavelet characterization of vibratio...