Numerous studies have demonstrated effects of spatial attention within single sensory modalities (within-modal spatial attention) and the effect of directing attention to one sense compared with the other senses (intermodal attention) on cortical neuronal activity. Furthermore, recent studies have been revealing that the effects of spatial attention directed to a certain location in a certain s...

Godel's translation of intuitionistic formulas into modal ones provides the well-known embedding of intermediate logics into extensions of Lewis' system S4, which re ects and sometimes preserves such properties as decidability, Kripke completeness, the nite model property. In this paper we establish a similar relationship between intuitionistic modal logics and classical bimodal logics. We als...

This paper investigates the dynamics of the engine driveline system for achieving accurate and online diagnostics of engine conditions using instantaneous angular speed (IAS). Based on a state space modelling approach and key structures of the system, a torsional vibration model is developed and its modal properties: modal frequency, damping ratio and shapes are evaluated. Then taking the outpu...

We present novel method for image-text multi-modal representation learning. In our knowledge, this work is the first approach of applying adversarial learning concept to multi-modal learning and not exploiting image-text pair information to learn multi-modal feature. We only use category information in contrast with most previous methods using image-text pair information for multi-modal embeddi...

The combination of a modal verb and a modal adverb that is similar in modal force (possibility/necessity) and flavor (epistemic/deontic, etc.) allows a concord interpretation in which the two modals somehow ‘fuse’ and communicate just a single modality. This paper presents a case study of modal concord, as it is exemplified in Dutch. It seems that speakers of this language tend to add modal adv...

Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subset of its domain. In this paper we give a complete characterisation for the expressive power of modal inclusion logic: a class of Kripke models with teams is definable in modal inclusion logic if and only if it is clos...

In this paper several systems of modal logic based on four-valued matrices are presented. We start with pure modal logics, i.e. modal logics with modal operators as the only operators, using the Polish framework of structural consequence relation. We show that with a four-valued matrix we can define modal operators which have the same behavior as in pure S5 (S5 with only modal operators). We th...