A miracle happens In one hand we have a class of marvelously complex theories in predicate logic theories with su cient coding potential like PA Peano Arithmetic or ZF Zermelo Fraenkel Set Theory In the other we have certain modal propositional theories of striking simplicity We translate the modal operators of the modal theories to certain speci c xed de ned predicates of the predicate logical...

The formation of cross-modal object representations was investigated using a novel paradigm that was previously successful in establishing unimodal visual category learning in monkeys and humans. The stimulus set consisted of six categories of bird shapes and sounds that were morphed to create different exemplars of each category. Subjects learned new cross-modal bird categories using a one-bac...

marine industry requires continued development of new technologies in order to produce oil. an essential requirement in design is to be able to compare experimental data from prototype structures with predicted information from a corresponding analytical finite element model. in this study, structural model updating may be defined as the fit of an existing analytical model in the light of measu...

mood is, in general, a meaning concept that indicates the speaker’s point of view about a proposition. there are different modal elements in each language to embody a mood; in other words, different languages have variety of methods to express modal concepts. using verbal moods is one of these methods. verbal mood represents the morphology of a verb and can hence be considered as a grammatical ...

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