Positive Modal Logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language. The class of positive modal algebras is the one canonically associated with PML according to the theory of Abstract Algebraic Logic. In [4], a Priestley-style duality is established between the category of positive modal alg...

Second order matrix equations arise in the description of real dynamical systems. Traditional modal control approaches utilise the eigenvectors of the undamped system to diagonalise the system matrices. A regrettable consequence of this approach is the discarding of residual off-diagonal terms in the modal damping matrix. This has particular importance for systems containing skew-symmetry in th...

This paper contributes to the model theory of modal logic using bisimulations as the fundamental tool. A uniform presentation is given of modal analogues of well-known deenability and preservation results from rst-order logic. These results include algebraic characterizations of modal equivalence, and of the modally deenable classes of models; the preservation results concern preservation of mo...

This two-part article critically reviews eight recent works in the field of mood and modality. Part I explores three different theoretical approaches – generative, cognitive–pragmatic, and typological – with the main focus on languages other than English. Within the framework of generative grammar, research issues include: the epistemic-root interpretations of modal verbs; transitive–intransiti...

This paper is a study into some properties and applications of Moss’ coalgebraic or ‘cover’ modality ∇. First we present two axiomatizations of this operator, and we prove these axiomatizations to be sound and complete with respect to basic modal and positive modal logic, respectively. More precisely, we introduce the notions of a modal ∇-algebra and of a positive modal ∇-algebra. We establish ...

A new method of parameter identification based on linear time-frequency representation and Hilbert transform is proposed in this paper to identify modal parameters of linear time-varying systems from measured vibration responses. With Gabor expansion and synthesis theory, measured responses are represented in time-frequency domain and modal components are reconstructed by time-frequency filteri...

Experiencing a stimulus in one sensory modality is often associated with an experience in another sensory modality. For instance, seeing a lemon might produce a sensation of sourness. This might indicate some kind of cross-modal correspondence between vision and gustation. The aim of the current study was to explore whether such cross-modal correspondences influence cross-modal integration duri...

I consider two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former prima facie points to drawing a distinction between will and modal verbs, as it seems to show that will does not license non-specific indefinites. The latter points in the opposite direction, suggesting that will-sentences involve some kind of modality...

Aristotle was the founder of modal logic. In his Prior Analytics, he developed a complex system of modal syllogistic. While influential, this system has been disputed since antiquity and is today widely regarded as incoherent or inconsistent. In view of this, Aristotle’s Modal Syllogistic explores the prospects for understanding the modal syllogistic as a coherent and consistent system of modal...

In this paper I will give a modal two-dimensional analysis of presupposition and modal subordination. I will think of presupposition as a non-veridical propositional attitude. This allows me to evaluate what is presupposed and what is asserted at different dimensions without getting into the binding problem. What is presupposed will be represented by an accessibility relation between possible w...