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...

In this thesis, we investigate the modal logic of forcing and the modal logic of grounds of generic multiverses. Hamkins and Löwe showed that the ZFC-provable modal principles of forcing, as well as of grounds, are exactly the theorems of the modal logic S4.2 (see [16],[17]). We prove that the modal logic of forcing of any generic multiverse is also exactly S4.2 by showing that any model of ZFC...

Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-called predicate liftings have been shown to be invariant under behavioral equivalence. Expressivity results stating that, conversely, logically indistinguishable states are behaviorally equivalent depend on the existence ...

A modal analogue of Lindstrr om's characterization of rst-order logic is proved. Basic modal logics are characterized as the only modal logics that have a notion of nite rank, or, equivalently, as the strongest modal logic whose formulas are preserved under ultra-products over !. Also, basic modal logic is the strongest classical logic whose formulas are preserved under bisimulations and ultra-...

We introduce a new semantics for modal predicate logic, with respect to which a rich class of first-order modal logics is complete, namely all normal first-order modal logics that are extensions of free quantified K. This logic is defined by combining positive free logic with equality PFL . = and the propositional modal logic K. We then uniformly construct—for each modal predicate logic L—a can...

Multi-modal virtual environments succeed better, than single-channel technologies, in creating the 'sense of presence'. We hypothesize that the underlying cognitive mechanism is related to a faster mental processing of multimodal events. Comparing reaction time in uni-modal, bimodal and tri-modal events, we show that the processing speed is: uni-modal > bi-modal > tri-modal. Given this advantag...

We introduce distributive unimodal logic as a modal logic of binary relations over posets which naturally generalizes the classical modal logic of binary relations over sets. The relational semantics of this logic is similar to the relational semantics of intuitionistic modal logic and positive modal logic, but it generalizes both of these by placing no restrictions on the accessibility relatio...

Modal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications.

In the present research, free vibration and modal stress analyses of thin circular plates with arbitrary edge conditions, resting on two-parameter elastic foundations are investigated.  Both Pasternak and Winkler parameters are adopted to model the elastic foundation. The differential transform method (DTM) is used to solve the eigenvalue equation yielding the natural frequencies and mode shape...